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

Bug 422

Summary:	-u does not report states explored
Product:	UPPAAL	Reporter:	Pedro Ferreira do Souto <pfs>
Component:	Engine	Assignee:	Alexandre David <adavid>
Status:	RESOLVED FIXED
Severity:	normal
Priority:	P2
Version:	4.0.6
Hardware:	PC
OS:	Linux
Architecture:
Attachments:	screen output showing bug

Description Pedro Ferreira do Souto 2007-06-12 10:05:17 CEST

unless the -s option is also specified

Comment 1 Pedro Ferreira do Souto 2007-06-12 11:10:43 CEST

Created attachment 157 [details]
screen output showing bug

Comment 2 Pedro Ferreira do Souto 2007-06-12 11:12:06 CEST

(In reply to comment #0)
> unless the -s option is also specified
> 

I'm sorry, I should have written:

*when* the -s option is also specified

Comment 3 Alexandre David 2008-09-22 17:54:51 CEST

Revision 3951 fixes it for 4.0.6.
Revision 3952 fixes it for the trunk.
Revision 3953 fixes it partially for TIGA.

Comment 4 Alexandre David 2008-10-23 11:46:12 CEST

Fixed in rev. 3951 for 4.0 and 3952 for the trunk.