Message in Dutch (Nederlands)![](/img/flags/nl.png)
Postcondition is mislukt nadat er een uitzondering is opgetreden.
Unlocalized message![](/img/flags/en.png)
Postcondition failed after throwing an exception.
Search by GooglePostcondition is mislukt nadat er een uitzondering is opgetreden.
Postcondition failed after throwing an exception.
Search by Google