summaryrefslogtreecommitdiff
path: root/Test/doomed
Commit message (Collapse)AuthorAge
* Bug fixes and speed up for doomed program point analysisGravatar schaef2010-10-13
|
* Added experimental feature /DoomDebug. Can be test using ↵Gravatar schaef2010-01-28
| | | | Test/doomed/doomdebug.bpl
* Doomed checking now uses the counterexample trace to minimize the number of ↵Gravatar schaef2009-12-18
| | | | theorem prover calls (See useCE in notdoomed.bpl).
* (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 ↵Gravatar schaef2009-11-18
| | | | statements and writes them the stdout. Line numbers are only displayed for bpl input.
* vc:doomed does not use the console anymore to report resultsGravatar schaef2009-11-02
added first test cases for doomed (including the ones from smoke) minor bug fixes minor speed-ups