This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 491

Summary: stepBack failed due to inconsistent blocking
Product: UPPAAL TIGA Reporter: Ulrik Nyman <ulrik>
Component: EngineAssignee: Alexandre David <adavid>
Status: ASSIGNED ---    
Severity: major    
Priority: P2    
Version: unspecified   
Hardware: PC   
OS: Linux   
URL: http://www.cs.aau.dk/~ulrik/uppaal/stepBack/
Architecture:

Description Ulrik Nyman 2010-05-27 11:28:51 CEST 
The models in the URL exhibit the following error:

$verifytga LeaderElection_v5.xml LeaderElection_v5-crash.q

Options for the verification:
  Generating no trace
  Search order is breadth first (UPPAAL), automatic (TIGA)
  Using conservative space optimisation
  Seed is 1274946564
  State space representation uses minimal constraint systems

Verifying property 1 at line 5
terminate called after throwing an instance of 'Bug'
  what():  stepBack failed due to inconsistent blocking.
Aborted
Comment 1 Alexandre David 2010-05-27 11:49:52 CEST 
The error occurs at the post-processing step on the strategies.