Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/Mirabelle/mirabelle_try0.ML
changeset 82364 5af097d05e99
parent 81363 fec95447c5bd 
--- a/src/HOL/Tools/Mirabelle/mirabelle_try0.ML	Thu Mar 27 14:33:08 2025 +0100
+++ b/src/HOL/Tools/Mirabelle/mirabelle_try0.ML	Thu Mar 27 16:35:41 2025 +0100
@@ -12,9 +12,10 @@
 fun make_action ({timeout, ...} : Mirabelle.action_context) =
   let
     val generous_timeout = Time.scale 10.0 timeout
+    val try0 = Try0.try0 (SOME timeout) Try0.empty_facts
 
     fun run ({pre, ...} : Mirabelle.command) =
-      if Timeout.apply generous_timeout (not o null o Try0.try0 (SOME timeout) []) pre then
+      if Timeout.apply generous_timeout (not o null o try0) pre then
         "succeeded"
       else
         ""
isabelle