TAPAAL

Boundedness check in timed CPN is broken

Bug #1939122 reported by Jiri Srba
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
TAPAAL
Fix Committed
Undecided
Thomas Pedersen
TAPAAL cpn "cpn"

Bug Description

Open timed-colored-referendum and run the boundedness check - it will return NPE.

Thomas Pedersen (tpede16)
Changed in tapaal:
status: New → Fix Committed
assignee: nobody → Thomas Pedersen (tpede16)
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.