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

Bug 479

Summary:	Trace generation fails for leadsto properties
Product:	UPPAAL	Reporter:	Alexandre David <adavid>
Component:	Engine	Assignee:	Alexandre David <adavid>
Status:	RESOLVED FIXED
Severity:	major
Priority:	P1
Version:	unspecified
Hardware:	PC
OS:	Linux
Architecture:
Attachments:	Model file 1 Query file 1 Model file 2 Query file 2

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.