Engine returns no trace
Bug #1960432 reported by
Jiri Srba
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| TAPAAL |
Fix Committed
|
Undecided
|
Unassigned | ||
Bug Description
Open the attached net and verify. Engine does not return any trace. The proposition fails in the initial marking, so the trace should be empty in this case.
Revision history for this message
| Jiri Srba (srba) wrote | #1 |
Revision history for this message
| Jiri Srba (srba) wrote | #2 |
| Changed in tapaal: | |
| status: | New → Fix Committed |
To post a comment you must log in.
fixed in the engine