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