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

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

See Also:
Architecture:

Attachments
Add an attachment (proposed patch, testcase, etc.)

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.