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

Bug 372

Summary: java.lang.OutOfMemoryError when reference parameter is not instantiated
Product: UPPAAL Reporter: Marius Mikučionis <marius>
Component: libutapAssignee: Gerd Behrmann <behrmann>
Status: RESOLVED FIXED    
Severity: major    
Priority: P1    
Version: 4.0.3   
Hardware: All   
OS: All   
Architecture:

Description Marius Mikučionis 2006-11-17 19:23:40 CET 
1) take blank model with just Template
2) add a parameter to Template "int &param"
3) add an edge loop
4) goto System declarations, 
5) remove Process instantiation
6) replace Process with Template
7) press F7, everything is fine
8) save the system, say bug.xml
9) goto verifier, say "A[] not deadlock" and save the query, say bug.q

now you can try either, simulator or verifier and they will give OutOfMemory exception.

Expected result: should complain about uniniatialized parameter and prevent from simulation/verification.
Comment 1 Gerd Behrmann 2006-12-11 15:42:40 CET 
Fixed on the 4.0 branch from rev. 2851.
Comment 2 Gerd Behrmann 2006-12-22 16:47:53 CET 
Fixed on the trunk from rev. 2879.