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

Bug 491 - stepBack failed due to inconsistent blocking
Summary: stepBack failed due to inconsistent blocking
Status: ASSIGNED
Alias: None
Product: UPPAAL TIGA
Classification: Unclassified
Component: Engine (show other bugs)
Version: unspecified
Hardware: PC Linux
: P2 major
Assignee: Alexandre David
URL: http://www.cs.aau.dk/~ulrik/uppaal/st...
Depends on:
Blocks:
 
Reported: 2010-05-27 11:28 CEST by Ulrik Nyman
Modified: 2010-05-27 11:49 CEST (History)
0 users

See Also:
Architecture:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
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.