TAPAAL

Wrong AF verification answer

Bug #2024932 reported by Jiri Srba
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
TAPAAL
Invalid
Undecided
Unassigned
TAPAAL cpn "cpn"

Bug Description

See the verifydtapn bug report:

https://github.com/TAPAAL/verifydtapn/issues/37

Revision history for this message
Jiri Srba (srba) wrote :

Not a problem, the engine is fine.

Changed in tapaal:
status: New → Invalid
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.
Subscribing...

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.