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/Mutabelle/MutabelleExtra.thy
changeset 74641 6f801e1073fa
parent 69605 a96320074298 
--- a/src/HOL/Mutabelle/MutabelleExtra.thy	Sat Oct 30 19:23:01 2021 +0200
+++ b/src/HOL/Mutabelle/MutabelleExtra.thy	Sat Oct 30 19:41:09 2021 +0200
@@ -23,7 +23,7 @@
 quickcheck_params [quiet, finite_types = false, report = false, size = 5, iterations = 1000]
 
 (*
-nitpick_params [timeout = 5, sat_solver = MiniSat_JNI, no_overlord, verbose, card = 1-5, iter = 1,2,4,8,12]
+nitpick_params [timeout = 5, sat_solver = MiniSat, no_overlord, verbose, card = 1-5, iter = 1,2,4,8,12]
 refute_params [maxtime = 10, minsize = 1, maxsize = 5, satsolver = jerusat]
 *)
isabelle