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

Pierre-Yves Strub pierre-yves at strub.nu
Thu Jan 18 19:33:52 CET 2018


There is no syntax, but a tactical could be added for that purpose. Note
that six a tactical would have to fail in weak check mode.

Le jeu. 18 janv. 2018 à 19:32, Bas Spitters <b.a.w.spitters at gmail.com> a
écrit :

> What's the syntax that allows smt to fail?
>
> E.g. I want to do
>
> progress; smt().
>
> For debugging purposes.
>
> Thanks
> _______________________________________________
> Easycrypt-club mailing list
> Easycrypt-club at lists.gforge.inria.fr
> https://lists.gforge.inria.fr/mailman/listinfo/easycrypt-club
>
-------------- section suivante --------------
Une pièce jointe HTML a été nettoyée...
URL: <http://lists.gforge.inria.fr/pipermail/easycrypt-club/attachments/20180118/38106e18/attachment.html>


More information about the Easycrypt-club mailing list