bypass HOL-Mirabelle-ex in regular test, until its tendency to "hang" has been resolved;
authorwenzelm
Mon Sep 17 15:38:16 2012 +0200 (2012-09-17)
changeset 49404a93d920707bb
parent 49403 caea18a5265f
child 49405 2fc68b3787a8
child 49425 f27f83f71e94
bypass HOL-Mirabelle-ex in regular test, until its tendency to "hang" has been resolved;
src/HOL/ROOT
     1.1 --- a/src/HOL/ROOT	Mon Sep 17 15:33:22 2012 +0200
     1.2 +++ b/src/HOL/ROOT	Mon Sep 17 15:38:16 2012 +0200
     1.3 @@ -658,7 +658,7 @@
     1.4  
     1.5  session "HOL-Mirabelle-ex" in "Mirabelle/ex" = "HOL-Mirabelle" +
     1.6    options [document = false, timeout = 600 (* FIXME avoid "hang" of external bash *) ]
     1.7 -  theories Ex
     1.8 +  theories [condition = ISABELLE_FULL_TEST] Ex
     1.9  
    1.10  session "HOL-Word-SMT_Examples" in SMT_Examples = "HOL-Word" +
    1.11    options [document = false, quick_and_dirty]