reactivate HOL-Mirabelle-ex with increased chances that it works most of the time (cf. bec1add86e79, a93d920707bb, be27a453aacc);
authorwenzelm
Wed Sep 19 21:06:35 2012 +0200 (2012-09-19)
changeset 494488a232a4e3fd8
parent 49447 bec1add86e79
child 49449 ffc06b54cb22
reactivate HOL-Mirabelle-ex with increased chances that it works most of the time (cf. bec1add86e79, a93d920707bb, be27a453aacc);
src/HOL/ROOT
     1.1 --- a/src/HOL/ROOT	Wed Sep 19 18:01:48 2012 +0200
     1.2 +++ b/src/HOL/ROOT	Wed Sep 19 21:06:35 2012 +0200
     1.3 @@ -657,8 +657,8 @@
     1.4    theories Mirabelle_Test
     1.5  
     1.6  session "HOL-Mirabelle-ex" in "Mirabelle/ex" = "HOL-Mirabelle" +
     1.7 -  options [document = false, timeout = 600 (* FIXME avoid "hang" of external bash *) ]
     1.8 -  theories [condition = ISABELLE_FULL_TEST] Ex
     1.9 +  options [document = false, timeout = 60]
    1.10 +  theories Ex
    1.11  
    1.12  session "HOL-Word-SMT_Examples" in SMT_Examples = "HOL-Word" +
    1.13    options [document = false, quick_and_dirty]