UPPAAL
How to get time used with verifyta? #284
-
|
I want to get time used with verifyta for every property, such as Verification/kernel/elapsed time used: 1.187s / 0.016s / 1.235s |
Beta Was this translation helpful? Give feedback.
Answered by
mikucionisaau
Sep 4, 2024
Replies: 1 comment 1 reply
-
|
Try |
Beta Was this translation helpful? Give feedback.
1 reply
-
|
Thank you so much!!! |
Beta Was this translation helpful? Give feedback.
Answer selected by
Mars-bwu
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Try
verifyta -uSee help for more:
verifyta --help