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/Nitpick_Examples/Record_Nits.thy
changeset 42208 02513eb26eb7
parent 41278 8e1cde88aae6
child 42959 ee829022381d 
--- a/src/HOL/Nitpick_Examples/Record_Nits.thy	Sun Apr 03 11:40:32 2011 +0200
+++ b/src/HOL/Nitpick_Examples/Record_Nits.thy	Mon Apr 04 09:32:50 2011 +0200
@@ -12,7 +12,7 @@
 begin
 
 nitpick_params [verbose, card = 1\<midarrow>6, max_potential = 0,
-                sat_solver = MiniSat_JNI, max_threads = 1, timeout = 60]
+                sat_solver = MiniSat_JNI, max_threads = 1, timeout = 240]
 
 record point2d =
   xc :: int
isabelle