TAPAAL

Changing verification answer with query reduction

Bug #1881656 reported by Jiri Srba
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
TAPAAL
Won't Fix
Critical
Unassigned

Bug Description

Open the attached net and verify the query. It says "Satisfied using state equations".
Then go to advanced query dialog and set "Use query reduction". The answer changes to
"Not satisfied". Then enable additionaly the structural reduction and the answer changes
again to "Satisfied".

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

Here is the attached net with query.

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

It seems it is a wrong exit code from the binary.

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

The issue is that the new it not bounded with the given k-bound.

Changed in tapaal:
status: New → Won't Fix
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.