The UI in concrete simulator writes "-327", for no apparent reason at all chanels.

[nikolajrk]

Describe the bug
The UI in concrete simulator writes "-327", for no apparent reason at all chanels.

To Reproduce
The way i reached the bug was that i tried to initialise CNOT channel as CNOT[int][int], as it should send two integers, instead of one, which is illigal syntax (this also btw makes Uppaal fail silently, not given a wrong syntax error). Now, although i changed it to only sending one integer, the concrete simulator is broken.

Version(s) of UPPAAL tested
Both Uppaal 5.0.0 and 5.1.0-beta
Screenshots
The template in Editor:

The process in Symbolic Simulator:

In Concrete Simulator:

Desktop (please complete the following information):

• OS: Linux (Ubunto)

The model is:

bug321.xml

[mikucionisaau]

The Teleporter has parameters: broadcast chan& H[int], broadcast chan& CNOT[int], broadcast chan& Measure[int], broadcast chan& Result[int], broadcast chan& Cbit[int].
The issue is that the default range of int is very large, UPPAAL will unfold it into a huge array and it is going to be huge performance bottleneck.
Instead of default int consider creating your own ranged integer type, like:

const int QBITS = 5;
typedef int[0,QBITS-1] qid_t;

Alternatively, use a shared (meta) variable to transfer the value.