Originally posted by **meowwwwww95** September 22, 2024
When I tried to simulate my models in Uppaal 5.0.0, I met Error "Server received SIGSEGV signal". The models and error trace are added at the end.
Actually, the models are able to simulate successfully without model Rule1 while if Rule1 is uploaded, the error occurs no matter whether Rule2 is uploaded. I have no idea what happens.
[error_case.zip](https://github.com/user-attachments/files/17090107/error_case.zip)
The error trace graph in simulator is followed:
Minimal example triggering the issue:
The issue relates to urgent broadcast synchronization to two receivers with zero delay (over committed location). And the issue is caused by a missing negation in if condition, deep in the evaluation of possible edges, oh well.
It does not affect Verifier: the issue is limited to the computation of the list of transitions in the interactive Concrete Simulator, where it computes all possible delays and synchronization successors over broadcast channel (whereas Verifier's simulator just computes one successor).
mikucionisaau
commented
2 months ago
Discussed in https://github.com/orgs/UPPAALModelChecker/discussions/289
Minimal example triggering the issue:
The issue relates to urgent broadcast synchronization to two receivers with zero delay (over committed location). And the issue is caused by a missing negation in if condition, deep in the evaluation of possible edges, oh well.
It does not affect Verifier: the issue is limited to the computation of the list of transitions in the interactive Concrete Simulator, where it computes all possible delays and synchronization successors over broadcast channel (whereas Verifier's simulator just computes one successor).