adding a very liberal timeout for values after a test case failed due to the restricted timeout
authorbulwahn
Sun Jul 10 19:33:27 2011 +0200 (2011-07-10)
changeset 43738e40d2eddf2c0
parent 43737 592b32eb18a6
child 43742 d033a34a490a
adding a very liberal timeout for values after a test case failed due to the restricted timeout
src/HOL/IMP/C_like.thy
     1.1 --- a/src/HOL/IMP/C_like.thy	Sun Jul 10 14:02:27 2011 +0200
     1.2 +++ b/src/HOL/IMP/C_like.thy	Sun Jul 10 19:33:27 2011 +0200
     1.3 @@ -49,6 +49,7 @@
     1.4  
     1.5  code_pred big_step .
     1.6  
     1.7 +declare [[values_timeout = 3600]]
     1.8  
     1.9  text{* Examples: *}
    1.10