summaryrefslogtreecommitdiff
path: root/Test/bitvectors/runtest.bat
Commit message (Expand)AuthorAge
* Boogie: Eliminated the /bv option. Only native bitvectors are supported now. ...Gravatar Rustan Leino2011-10-27
* fixed bug in vcgen for bitvectorsGravatar qadeer2011-07-09
* Boogie: Fixed test 'bitvectors'.Gravatar wuestholz2010-08-14
* Fix the test to use new name for /z3bv option.Gravatar MichalMoskal2010-08-10
* Boogie: added /z3bv option that overrides the current setting of Z3 options f...Gravatar stobies2010-08-06
* Remove vcc1 testcase that never worked with Boogie2 and is testing obsolete b...Gravatar MichalMoskal2009-12-17
* Fixed some bugs in the generation of bitvector input for Z3.Gravatar rustanleino2009-09-29
* Initial set of files.Gravatar mikebarnett2009-07-15