Trace generation broken with reductions

Bug #1821153 reported by Jiri Srba
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
TAPAAL
Fix Released
Critical
Peter Gjøl Jensen

Bug Description

In TAPAAL 3.5.0 trace generation is broken when we employ structural reductions.
Check the attached net, without redcutions it returns the correct trace but
with reductions only the first transition in the trace that does not lead to the
required marking.

Related branches

Revision history for this message
Jiri Srba (srba) wrote :
Changed in tapaal:
status: New → Fix Committed
Jiri Srba (srba)
Changed in tapaal:
status: Fix Committed → In Progress
Jiri Srba (srba)
Changed in tapaal:
status: In Progress → Fix Committed
Jiri Srba (srba)
Changed in tapaal:
status: Fix Committed → Fix Released
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

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