Bug 479 - Trace generation fails for leadsto properties
Summary: Trace generation fails for leadsto properties
Status: RESOLVED FIXED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: unspecified
Hardware: PC Linux
: P1 major
Assignee: Alexandre David
URL:
Depends on:
Blocks:
 
Reported: 2009-08-27 17:06 CEST by Alexandre David
Modified: 2009-08-28 11:00 CEST (History)
0 users

See Also:
Architecture:


Attachments
Model file 1 (13.45 KB, text/xml)
2009-08-27 17:07 CEST, Alexandre David
Details
Query file 1 (113 bytes, application/octet-stream)
2009-08-27 17:07 CEST, Alexandre David
Details
Model file 2 (12.55 KB, text/xml)
2009-08-27 17:07 CEST, Alexandre David
Details
Query file 2 (113 bytes, application/octet-stream)
2009-08-27 17:07 CEST, Alexandre David
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Alexandre David 2009-08-27 17:06:09 CEST
The trace generation fails for the following models. This affects 4.1.1 but not 4.0.8.
Comment 1 Alexandre David 2009-08-27 17:07:00 CEST
Created attachment 224 [details]
Model file 1
Comment 2 Alexandre David 2009-08-27 17:07:18 CEST
Created attachment 225 [details]
Query file 1
Comment 3 Alexandre David 2009-08-27 17:07:37 CEST
Created attachment 226 [details]
Model file 2
Comment 4 Alexandre David 2009-08-27 17:07:52 CEST
Created attachment 227 [details]
Query file 2
Comment 5 Alexandre David 2009-08-28 11:00:33 CEST
Fixed in rev. 4404. The bug was introduced in rev. 4261.