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

Bug 300

Summary: For-iterator causes stack underflow
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: EngineAssignee: Gerd Behrmann <behrmann>
Severity: normal    
Priority: P2    
Version: 3.6 Beta 1   
Hardware: All   
OS: All   

Description Gerd Behrmann 2006-03-23 13:40:53 CET
The code generator for the for-iterator statement contains a bug which causes a stack underflow in the virtual machine. Symptoms are sporadic crashes or error messages during model checking or simulation.
Comment 1 Gerd Behrmann 2006-03-23 13:41:19 CET
Fixed on the trunk as of rev. 1686.