summaryrefslogtreecommitdiff
path: root/Test/sanity
Commit message (Expand)AuthorAge
* 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