Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more reactive kodkod execution: avoid confusion about timeout/deadline;
authorwenzelm
Tue, 29 Sep 2020 13:20:27 +0200
changeset 72333 0823524eea1e
parent 72332 319dd5c618a5
child 72334 6916b48b375c
more reactive kodkod execution: avoid confusion about timeout/deadline;
src/HOL/Tools/Nitpick/kodkod.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/Nitpick/kodkod.ML	Tue Sep 29 13:19:34 2020 +0200
+++ b/src/HOL/Tools/Nitpick/kodkod.ML	Tue Sep 29 13:20:27 2020 +0200
@@ -1035,7 +1035,7 @@
             (timeout, (solve_all, (max_solutions, (max_threads, kki))))
             |> let open XML.Encode in pair int (pair bool (pair int (pair int string))) end
             |> YXML.string_of_body
-            |> \<^scala>\<open>kodkod\<close>
+            |> \<^scala_thread>\<open>kodkod\<close>
             |> YXML.parse_body
             |> let open XML.Decode in triple int string string end
isabelle