query engine not updated
Bug #1984190 reported by
Lena Ernstsen
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Committed
|
Undecided
|
Lena Ernstsen |
Bug Description
The GUI does not update the engine selection of the queries when a colored net is switched from timed to untimed.
How to reproduce:
- Make a colored untimed net
- Make a reachability query
- Convert to timed net
- Add some timed guards that makes the query unsat
- Press verify on the query
An error occurs saying "Verifypn does not support the given mode"
This should have been updated to use one of the available engines instead.
Also going into the query dialog to seems update the engine.
Changed in tapaal: | |
milestone: | none → cpn |
Changed in tapaal: | |
assignee: | nobody → Lena Ernstsen (lsaid) |
Changed in tapaal: | |
status: | New → Fix Committed |
To post a comment you must log in.