Refute: require false

Very simple verification case that applies both `requires true` and `requires false` in contracts of methods.

General information

ID132
Articlenone
Back-endSilicon
LanguageJava
Features
Sources
Path to example filerefute/Sat.java
Date2017-06-20

Statistical information

Lines of code15 lines (comments not included)
Lines of specification6 lines (40% of the total)
Computation time19776 milliseconds

Example code

Note, verification may take a while and has a time-out of 20 seconds.