Message in French (Français)

Échec de la post-condition.

Unlocalized message

Postcondition failed.

Search by Google
Available localized messages
Dutch (Nederlands) Hungarian (magyar) Finnish (suomi) Chinese (Simplified) (中文(简体)) Turkish (Türkçe) Russian (Русский) Italian (Italiano) Arabic (العربية) Prior (Message) Japanese (日本語) German (Deutsch) Korean (한국어) Czech (Čeština) Greek (Ελληνικά) Spanish (Español) Danish (Dansk) Next (Message) Chinese (Traditional) (中文（繁體）) Polish (Polski) Norwegian (Bokmal) (Norsk (Bokmål)) Swedish (Svenska) Hebrew (עברית) Portuguese (Brazil) (Português (Brasil))