hyperLTL dialog - manual parse issue
Bug #2051852 reported by
Jiri Srba
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| TAPAAL |
Fix Committed
|
Undecided
|
Unassigned | ||
Bug Description
Open e.g. the ERK net, make new hyperLTL query and go to manual edit. Paste here:
E T1 (T1.comp1.ERK = 0)
and click on parse.
The GUI complains that a trace with name T1 already exists, but it parses it fine and all seems to work.
If you click "Edit query" and "Parse query" after this, the second time the parsing goes without any error message.
| Changed in tapaal: | |
| status: | New → Fix Committed |
To post a comment you must log in.
