Message in Hungarian (magyar)
Az utófeltétel végrehajtása egy kivétel kiváltása után sikertelen: <var>X</var>
Unlocalized message
Postcondition failed after throwing an exception: <var>X</var>
Search by GoogleAz utófeltétel végrehajtása egy kivétel kiváltása után sikertelen: <var>X</var>
Postcondition failed after throwing an exception: <var>X</var>
Search by Google