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

Bug 622

Summary: Reuse Constant-declarations in byte-code
Product: UPPAAL Reporter: Peter Gjøl Jensen <pgj>
Component: EngineAssignee: Marius Mikučionis <marius>
Status: ASSIGNED ---    
Severity: enhancement CC: adavid
Priority: P5    
Version: 4.1.20   
Hardware: All   
OS: All   
Architecture:

Description Peter Gjøl Jensen 2016-10-14 06:19:28 CEST
A model with declarations like 

const int a = 0;
const int b = 0;
const int c = 0;
...

can take up a significant amount of memory as each variable is allocated uniquely - this occurs often with machine-generated models.

This can be observed when doing 

"UPPAAL_COMPILE_ONLY=1 ./verifyta <model>"

Such similar constants should be reduced to a single entry in the variable-table - both for integers and double-variables.