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

Bug 258

Summary: -u reports number of explored states twice
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: EngineAssignee: Gerd Behrmann <behrmann>
Severity: minor    
Priority: P1    
Version: 3.6 Alpha 4   
Hardware: All   
OS: All   

Description Gerd Behrmann 2006-02-02 21:43:04 CET
When using the -u option on verifyta, the number of explored states is reported
twice: Once with the correct number and once with 0.
Comment 1 Gerd Behrmann 2006-03-13 09:34:54 CET
Fixed as of revision 1635.