increasing values_timeout to avoid SML_makeall failures on our current tests
authorbulwahn
Mon Oct 10 16:47:45 2011 +0200 (2011-10-10 ago)
changeset 45125c15b0faeb70a
parent 45124 d78ec6c10fa1
child 45126 fc3bb3a42369
increasing values_timeout to avoid SML_makeall failures on our current tests
src/HOL/Predicate_Compile_Examples/Specialisation_Examples.thy
     1.1 --- a/src/HOL/Predicate_Compile_Examples/Specialisation_Examples.thy	Mon Oct 10 11:12:09 2011 +0200
     1.2 +++ b/src/HOL/Predicate_Compile_Examples/Specialisation_Examples.thy	Mon Oct 10 16:47:45 2011 +0200
     1.3 @@ -2,7 +2,7 @@
     1.4  imports Main "~~/src/HOL/Library/Predicate_Compile_Alternative_Defs"
     1.5  begin
     1.6  
     1.7 -declare [[values_timeout = 480.0]]
     1.8 +declare [[values_timeout = 960.0]]
     1.9  
    1.10  section {* Specialisation Examples *}
    1.11  
    1.12 @@ -260,4 +260,4 @@
    1.13  thm subtype_refl'.equation
    1.14  
    1.15  
    1.16 -end
    1.17 \ No newline at end of file
    1.18 +end