Saving LTL options does not work
Bug #1945320 reported by
Jiri Srba
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| TAPAAL |
Fix Released
|
Undecided
|
Lena Ernstsen | ||
Bug Description
In LTL query, options are not saved with the net. To reproduce, open that attached net, open the query and tick off "Use Tarjan". Then save the net and open it again. When you open the query, Tarjan is not selected anymore. The same problem could be with the other new options for LTL engine (please double check).
Revision history for this message
| Jiri Srba (srba) wrote | #1 |
| Changed in tapaal: | |
| assignee: | nobody → Lena Ernstsen (lsaid) |
| Changed in tapaal: | |
| status: | New → Fix Committed |
| Changed in tapaal: | |
| status: | Fix Committed → Fix Released |
To post a comment you must log in.
