summaryrefslogtreecommitdiff
path: root/Test/Makefile
Commit message (Expand)AuthorAge
* Make it work with mingwGravatar Michal Moskal2011-12-07
* Run dafny and boogie tests by defaultGravatar MichalMoskal2011-02-18
* Don't stop when some test failsGravatar MichalMoskal2011-02-18
* Allow for running Boogie and Dafny testcases separatelyGravatar MichalMoskal2011-02-18
* Allow for passing flags to test runsGravatar MichalMoskal2011-02-18
* Add makefile for running tests, allows "make -j4" to utilize multiple cores.Gravatar MichalMoskal2009-12-17