summaryrefslogtreecommitdiff
path: root/Test/doomed
Commit message (Expand)AuthorAge
* Add missing run lines (based off Test/doomed/runtest.bat) to doomedGravatar Dan Liew2014-09-21
* Prevent running doomed tests. They weren't being runGravatar Dan Liew2014-05-10
* Bug fixes and speed up for doomed program point analysisGravatar schaef2010-10-13
* Added experimental feature /DoomDebug. Can be test using Test/doomed/doomdebu...Gravatar schaef2010-01-28
* Doomed checking now uses the counterexample trace to minimize the number of t...Gravatar schaef2009-12-18
* (no commit message)Gravatar schaef2009-11-20
* doomed stuff: minor bug fixes / improved output / more test casesGravatar schaef2009-11-19
* modified the doom checking. It is now able to report only the relevant statem...Gravatar schaef2009-11-18
* vc:doomed does not use the console anymore to report resultsGravatar schaef2009-11-02