TAPAAL

colored-game net queries can't be verify

Bug #1983373 reported by Lena Ernstsen
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
TAPAAL
Fix Committed
Undecided
Unassigned
TAPAAL cpn "cpn"

Bug Description

The attached colored-game net results in following error message: “Model checker output: ERROR: No accept for SimpleQuantifierCondition (may be called from subclass)” with any query.

Revision history for this message
Lena Ernstsen (lsaid) wrote :
Revision history for this message
Peter Gjøl Jensen (peter-gjoel) wrote :

Can you submit the engine files and the specific engine call too?

Jiri Srba (srba)
Changed in tapaal:
milestone: none → cpn
Revision history for this message
Lena Ernstsen (lsaid) wrote (last edit ):

Here are the engine files and call

Revision history for this message
Peter Gjøl Jensen (peter-gjoel) wrote :

The model is invalid, tuples cannot be compared with tuples.
This should not be allowed in the GUI.

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.