Overapproximation with batchprocessing using verifytapn
Bug #2061903 reported by
Mikkel Tygesen
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| TAPAAL |
Fix Committed
|
Undecided
|
Unassigned | ||
Bug Description
When verifying queries with overapproximation using batch processing with the verifytapn engine, no result is displayed.
To recreate this, open the attached net and select the "true" and "Violation of behaviour - good" queries and verify. Everything is fine. Now also select the "Violation of behaviour - bad" which uses the verifytapn engine, and now none of the results are displayed.
Revision history for this message
| Mikkel Tygesen (mtygesen) wrote | #1 |
| Changed in tapaal: | |
| milestone: | none → cpn |
| Changed in tapaal: | |
| status: | New → Fix Committed |
To post a comment you must log in.
