Verifast Command line argument to inhibit verification of integer over/underflow

11 views
Skip to first unread message

Stephen Gaito

unread,
Jul 27, 2022, 10:38:55 AM7/27/22
to VeriFast
Is there a command line argument which inhibits the verification of integer over/underflow checking?

This option in the vfide is very nice to have during the initial exploration of the algorithm.

Thanks!
Stephen Gaito

Stephen Gaito

unread,
Jul 27, 2022, 10:48:53 AM7/27/22
to VeriFast
On re-re-re-reading the `verifast --help` output... I now see the command line switch `-disable_overflow_check`.

Many thanks for a useful tool!

Stephen Gaito
Reply all
Reply to author
Forward
0 new messages