Untiming engine change
Bug #2020433 reported by
Jiri Srba
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| TAPAAL |
Fix Committed
|
Undecided
|
Lena Ernstsen | ||
Bug Description
Open the attached net and untime it (right bottom corner select no for timed).
Now verify the query, it will give an error. Once you open the query dialog and verify,
it will work fine (because opening the query dialog changed the engine to untimed one).
Revision history for this message
| Jiri Srba (srba) wrote | #1 |
| Changed in tapaal: | |
| assignee: | nobody → Lena Ernstsen (lsaid) |
| status: | New → In Progress |
| Changed in tapaal: | |
| status: | In Progress → Fix Committed |
To post a comment you must log in.
