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

Bug 208 - Assertion `index < size()' failed
Summary: Assertion `index < size()' failed
Status: RESOLVED DUPLICATE of bug 207
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: unspecified
Hardware: All All
: P2 normal
Assignee: Gerd Behrmann
URL:
Depends on:
Blocks:
 
Reported: 2005-10-06 13:46 CEST by Gerd Behrmann
Modified: 2005-10-06 17:33 CEST (History)
0 users

See Also:
Architecture:

Attachments
Test case in XTA format (495 bytes, application/octet-stream)
2005-10-06 13:46 CEST, Gerd Behrmann 		Details
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 Gerd Behrmann 2005-10-06 13:46:02 CEST 
The engine fails for the attached model with the query A[] not deadlock. This is a regression from 3.5.9.
Comment 1 Gerd Behrmann 2005-10-06 13:46:27 CEST 
Created attachment 66 [details]
Test case in XTA format
Comment 2 Gerd Behrmann 2005-10-06 17:33:26 CEST 
This is caused by the same bug causing bug 207. 

*** This bug has been marked as a duplicate of 207 ***