Message in Norwegian (Bokmal) (Norsk (Bokmål))
Etterbetingelsen mislyktes etter å ha angitt et unntak: <var>X</var>
Unlocalized message
Postcondition failed after throwing an exception: <var>X</var>
Search by GoogleEtterbetingelsen mislyktes etter å ha angitt et unntak: <var>X</var>
Postcondition failed after throwing an exception: <var>X</var>
Search by Google