Wrong engine on packet-delivery
Bug #2024960 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Committed
|
Undecided
|
Lena Ernstsen |
Bug Description
Open the example net package-delivery, add extra token to Env and click on "Verify" (do not open the query dialog). The answer positive (which is wrong) and the GUI called verifydtapn engine on this net, even if the lens says that it is not timed!. Then open the query dialog and run the verification, this time the answer is negative (correct) and it runs verifypn engine as expected.
Changed in tapaal: | |
status: | New → In Progress |
Changed in tapaal: | |
status: | In Progress → Fix Committed |
To post a comment you must log in.
check also if it works after making the game timed