more exhaustive testing in Nitrox
authorblanchet
Wed, 13 Jul 2011 22:16:19 +0200
changeset 43810 efcdaaa1c7d3
parent 43809 151288f723dc
child 43811 402e1a0d93d9
more exhaustive testing in Nitrox
src/HOL/Tools/Nitpick/nitrox.ML
--- a/src/HOL/Tools/Nitpick/nitrox.ML	Wed Jul 13 22:16:19 2011 +0200
+++ b/src/HOL/Tools/Nitpick/nitrox.ML	Wed Jul 13 22:16:19 2011 +0200
@@ -115,7 +115,8 @@
 *)
       val state = Proof.init @{context}
       val params =
-        [("card", "1\<emdash>8"),
+        [("card iota", "1\<emdash>100"),
+         ("card", "1\<emdash>8"),
          ("box", "false"),
          ("sat_solver", "smart"),
          ("max_threads", "1"),