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

Bug 622 - Reuse Constant-declarations in byte-code
Summary: Reuse Constant-declarations in byte-code
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: 4.1.20
Hardware: All All
: P5 enhancement
Assignee: Marius Mikučionis
Depends on:
Reported: 2016-10-14 06:19 CEST by Peter Gjøl Jensen
Modified: 2017-02-22 14:26 CET (History)
1 user (show)

See Also:


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