summaryrefslogtreecommitdiff
path: root/Test/test21/runtest.bat
Commit message (Expand)AuthorAge
* Boogie: added type 'real' with overloaded arithmetic operations plus real div...Gravatar boehmes2012-09-27
* Don't run test21 with the untyped Z3, as this is no longer going to be availableGravatar MichalMoskal2011-02-18
* Initial set of files.Gravatar mikebarnett2009-07-15