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.
increasing values_timeout to avoid failures of isatest with HOL-IMP
authorbulwahn
Fri, 11 Nov 2011 10:40:36 +0100
changeset 45452 414732ebf891
parent 45451 74515e8e6046
child 45453 304437f43869
child 45461 130c90bb80b4
increasing values_timeout to avoid failures of isatest with HOL-IMP
src/HOL/Tools/Predicate_Compile/predicate_compile_core.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/Predicate_Compile/predicate_compile_core.ML	Fri Nov 11 08:32:48 2011 +0100
+++ b/src/HOL/Tools/Predicate_Compile/predicate_compile_core.ML	Fri Nov 11 10:40:36 2011 +0100
@@ -1618,7 +1618,7 @@
 
 (* values_timeout configuration *)
 
-val default_values_timeout = if ML_System.is_smlnj then 600.0 else 20.0
+val default_values_timeout = if ML_System.is_smlnj then 1200.0 else 40.0
 
 val values_timeout = Attrib.setup_config_real @{binding values_timeout} (K default_values_timeout)
isabelle