summaryrefslogtreecommitdiff
path: root/Test/commandline/multiple_procs_verify_one.bpl
Commit message (Collapse)AuthorAge
* Try to unbreak the tests added inGravatar Dan Liew2015-06-28
| | | | 7f4e6b0fab58bb3028cd0f1734fc97b3feafefdf under Windows.
* Fix issue #16 reported by @crazyktGravatar Dan Liew2015-06-28
Previously when Boogie was passed the ``-proc:<NAME>`` argument on the command line it would verify any procedure whose name contained ``<NAME>`` which doesn't seem like correct behaviour. Now Boogie only tries to verify a procedure only if its name matches ``<NAME>`` exactly. I've added several test cases to check Boogie behaves as expected.