[Easycrypt-club] Syntax for weak checking of SMT ?

Bas Spitters b.a.w.spitters at gmail.com
Thu Jan 18 19:32:02 CET 2018


What's the syntax that allows smt to fail?

E.g. I want to do

progress; smt().

For debugging purposes.

Thanks


More information about the Easycrypt-club mailing list