You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Describe the bug
I used the ON_BEGIN function to initialize some variables in my project declaration. ON_BEGIN never triggered.
I have tried to move it into a template declaration, however it still didn't trigger.
To Reproduce
Steps to reproduce the behavior:
Go to 'Create a system and use the ON_BEGIN'
Click on 'step through the system or use the verification tool'
See error 'No error will occur, since there is nothing that occurs'
Expected behavior
I expect the ON_BEGIN function to active "on begin", either of a system or a template
Version(s) of UPPAAL tested
I used UPPAAL 5.0.0
Screenshots
If applicable, add screenshots to help explain your problem.
Desktop (please complete the following information):
Version [see Help About menu, or verifyta --version e.g. 4.1.25]
OS, Java version: [e.g. Windows 10 64bit, Java 11]
Additional context
Add any other context about the problem here.
The text was updated successfully, but these errors were encountered:
Describe the bug
I used the ON_BEGIN function to initialize some variables in my project declaration. ON_BEGIN never triggered.
I have tried to move it into a template declaration, however it still didn't trigger.
To Reproduce
Steps to reproduce the behavior:
Expected behavior
I expect the ON_BEGIN function to active "on begin", either of a system or a template
Version(s) of UPPAAL tested
I used UPPAAL 5.0.0
Screenshots
If applicable, add screenshots to help explain your problem.
Desktop (please complete the following information):
verifyta --version
e.g. 4.1.25]Additional context
Add any other context about the problem here.
The text was updated successfully, but these errors were encountered: