Timed, colored game net - problem
Bug #1934767 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Committed
|
Undecided
|
Thomas Pedersen |
Bug Description
If you create timed colored game net, it says that you cannot verify it but the it is possible to create a query and the verification fails. Perhaps we should not allow to even model such nets at the moment (even though they could be easily unfolded by preserving the type of transition they have).
Changed in tapaal: | |
status: | New → Confirmed |
status: | Confirmed → New |
Changed in tapaal: | |
assignee: | nobody → Thomas Pedersen (tpede16) |
Changed in tapaal: | |
status: | New → Fix Committed |
To post a comment you must log in.