Message in Greek (Ελληνικά)
Η μετασυνθήκη απέτυχε αφού επέστρεψε μια εξαίρεση: <var>X</var>
Unlocalized message
Postcondition failed after throwing an exception: <var>X</var>
Search by GoogleΗ μετασυνθήκη απέτυχε αφού επέστρεψε μια εξαίρεση: <var>X</var>
Postcondition failed after throwing an exception: <var>X</var>
Search by Google