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.
preload library;
authorwenzelm
Thu, 20 Aug 2020 16:00:50 +0200
changeset 72181 6241cbbf5a58
parent 72180 f422efa3cca0
child 72182 1337904169d7
preload library;
src/HOL/Tools/Nitpick/kodkod.scala file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/Nitpick/kodkod.scala	Thu Aug 20 15:45:22 2020 +0200
+++ b/src/HOL/Tools/Nitpick/kodkod.scala	Thu Aug 20 16:00:50 2020 +0200
@@ -98,5 +98,7 @@
   }
 
   def warmup(): String =
-    execute(File.read(Path.explode("$KODKODI/examples/weber3.kki"))).check
+    execute(
+      """solver: "MiniSat\n"""" +
+      File.read(Path.explode("$KODKODI/examples/weber3.kki"))).check
 }
isabelle