Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] timing information

view this post on Zulip Email Gateway (Aug 18 2022 at 18:46):

From: Damien Pous <Damien.Pous@ens-lyon.fr>
Dear Isabelle users,

How can I measure the time required by the application of a tactic in
Isabelle/HOL?
I'm an absolute newbie and I could not find the answer on the web.

Thank you very much for your help,
Damien Pous

view this post on Zulip Email Gateway (Aug 18 2022 at 18:46):

From: Makarius <makarius@sketis.net>
ML_command "Toplevel.timing := true"

Makarius

Last updated: Apr 26 2024 at 04:17 UTC