mCRL2 icon indicating copy to clipboard operation
mCRL2 copied to clipboard

Instantiating global variables should be done consistently

Open mlaveaux opened this issue 1 year ago • 0 comments

Currently the instantiation is done based on the ATerm ordering using pointer addresses, this causes issues with loading traces in lpxsim since the instantiation can be different between restarts. As a result the trace might no longer be reachable.

mlaveaux avatar Feb 23 '24 09:02 mlaveaux