summaryrefslogtreecommitdiff
path: root/Test/sanity
Commit message (Expand)AuthorAge
* Dafny: re-ran parser generator to include semicolon-less body-less functions/...Gravatar Rustan Leino2011-07-26
* Fixed regression test failures due to removal of bodiless methods and functions.Gravatar Jason Koenig2011-07-15
* Reflect effect of Celebrity.dfy change in previous check-inGravatar rustanleino2011-03-27
* Updated answer to this regression to reflect the fact that it is now verified.Gravatar tabarbe2010-08-12
* Boogie: This reg test was not running verification.Gravatar tabarbe2010-08-12
* Boogie: That file should not have been in the depot, but rather be created lo...Gravatar tabarbe2010-08-09
* Boogie: Added a new simple regression test, "sanity", which runs a single tes...Gravatar tabarbe2010-07-29