No trace for CPN net
Bug #1958838 reported by
Jiri Srba
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| TAPAAL |
Fix Committed
|
Low
|
Peter Gjøl Jensen | ||
Bug Description
Make CPN untimed non-game net with one place (dot) and one token.
Ask the query EF P0=1 (which is true) and ask for trace. It returns
that no trace can be generated (by the engine). Can this be fixed,
the empty trace is clearly the right answer.
Revision history for this message
| Kenneth Yrke Jørgensen (yrke) wrote | #1 |
| Changed in tapaal: | |
| status: | New → In Progress |
| importance: | Undecided → Low |
| assignee: | nobody → Peter Gjøl Jensen (peter-gjoel) |
| Changed in tapaal: | |
| status: | In Progress → Fix Committed |
To post a comment you must log in.
This is fixed with the latest version of verifypn.