summaryrefslogtreecommitdiff
path: root/Test/livevars
Commit message (Expand)AuthorAge
* Update test output for Z3 4.4.1.Gravatar Valentin Wüstholz2015-12-01
* Normalise line endings using a .gitattributes file. UnfortunatelyGravatar Dan Liew2015-06-28
* Fix ``livevars/daytona_bug2_ioctl_example_2.bpl`` test under Linux.Gravatar Dan Liew2015-04-03
* 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
* Added "STORM benchmarks for testing correctness of live variable analysis" li...Gravatar Dan Liew2014-05-07
* Patch by Nathan Chong: iterative version of remove empty blocks algorithm. T...Gravatar Ally Donaldson2013-12-02
* Boogie: new syntax for integer division and modulus: use div and mod instead ...Gravatar boehmes2012-09-27
* Updated test 'livevars' that would fail with Z3 4.1 (alternative error trace).Gravatar wuestholz2012-09-12
* added more regressions to livevarsGravatar qadeer2011-06-14
* Boogie:Gravatar rustanleino2010-02-20
* Implemented block coalescing invoked right after type checking.Gravatar qadeer2010-02-16
* eliminated the line printing version number in the golden outputGravatar qadeer2010-02-13
* (no commit message)Gravatar qadeer2010-02-12
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-21 19:57:44 +0000