TAPAAL

Boundedness check broken for TACPN

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

Bug Description

Open the referendum-timed-colored example of TACPN and open the query and run
the boundedness check. It fails as the engine on the call returns:

Segmentation fault: 11

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

The boundedness check is still broken even with the updated engine. Now it returns that 0 tokens is enough to make it bounded (which is wrong). It wrongly parses the >4 information from the query.

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

This works now, but boundedness check is still broken for timed games (where the engine gets lower-gcd and time-dart options that are not supported for game).

Jiri Srba (srba)
Changed in tapaal:
status: New → Fix Committed
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.