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: EngineAssignee: 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.