Can boogie output the runtime? #474
-
|
It seems that there is no such option. |
Beta Was this translation helpful? Give feedback.
Answered by
shazqadeer
Dec 20, 2021
Replies: 1 comment
-
|
---- Debugging and general tracing options --------------------------------- /trace blurt out various debug trace information |
Beta Was this translation helpful? Give feedback.
0 replies
Answer selected by
Luweicai
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
---- Debugging and general tracing options ---------------------------------
/trace blurt out various debug trace information
/traceTimes output timing information at certain points in the pipeline
/tracePOs output information about the number of proof obligations
(also included in the /trace output)
/break launch and break into debugger