summaryrefslogtreecommitdiff
path: root/Test/prover
Commit message (Expand)AuthorAge
* Removed old test infrastructure files except forGravatar Dan Liew2014-05-28
* Fix lit test suite when running Boogie under a path that containsGravatar Dan Liew2014-05-27
* Enabled prover lit tests.Gravatar Dan Liew2014-05-07
* 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