summaryrefslogtreecommitdiff
path: root/Test/sanity/Answer
Commit message (Expand)AuthorAge
* Removed old test infrastructure files except forGravatar Dan Liew2014-05-28
* Disengaged Dafny testsGravatar Rustan Leino2012-11-20
* 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: Added a new simple regression test, "sanity", which runs a single tes...Gravatar tabarbe2010-07-29