summaryrefslogtreecommitdiff
path: root/Test/sanity
Commit message (Expand)AuthorAge
* Boogie: Added a new simple regression test, "sanity", which runs a single tes...Gravatar tabarbe2010-07-29