summaryrefslogtreecommitdiff
path: root/Test/prover
Commit message (Expand)AuthorAge
* Changed the 'CounterexampleComparer' to take traces into account.Gravatar wuestholz2013-05-26
* added parallel callsGravatar Unknown2013-03-01
* Boogie and Dafny: adjustments to the test suite expected output (and a tempor...Gravatar Unknown2012-09-27
* Boogie: new syntax for integer division and modulus: use div and mod instead ...Gravatar boehmes2012-09-27
* Add tests for -z3multipleErrors from Shuvendu.Gravatar MichalMoskal2011-02-23