[Why3-club] "if formula then" in expressions?

Alan Schmitt alan.schmitt at polytechnique.org
Wed Nov 7 08:49:29 CET 2012


Hello,

Why3 accepts program expressions of the form "if formula then ...". This
does not seem to make sense as such a program could not be executed. Is
this a bug or am I missing something?

Thanks,

Alan



More information about the Why3-club mailing list