Bug 372 - java.lang.OutOfMemoryError when reference parameter is not instantiated
Summary: java.lang.OutOfMemoryError when reference parameter is not instantiated
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: libutap (show other bugs)
Version: 4.0.3
Hardware: All All
: P1 major
Assignee: Gerd Behrmann
Depends on:
Reported: 2006-11-17 19:23 CET by Marius Mikučionis
Modified: 2006-12-22 16:47 CET (History)
0 users

See Also:


Note You need to log in before you can comment on or make changes to this bug.
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.