LTL trace error in 3.9
Bug #2008493 reported by
Jiri Srba
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| TAPAAL |
In Progress
|
Undecided
|
Unassigned | ||
Bug Description
Open the attached net and verify the first query. The verification gives an error (only if the trace option is enabled). This is an issue only in 3.9 series (in 3.9.5 released version actually).
Revision history for this message
| Jiri Srba (srba) wrote | #1 |
| Changed in tapaal: | |
| assignee: | nobody → Lena Ernstsen (lsaid) |
| status: | New → In Progress |
Revision history for this message
| Jiri Srba (srba) wrote | #2 |
| Changed in tapaal: | |
| assignee: | Lena Ernstsen (lsaid) → nobody |
To post a comment you must log in.
We will not fix this and release instead CPN where this is not an issue.