diff --git a/tests/fc_script/estimate_difficulty.i b/tests/fc_script/estimate_difficulty.i index 23b63dd6c5250076eb5eb8e74f0197b0bd9a12cc..68ee456b3a5a8850ca1b6dd8073e1c09a9a0cada 100644 --- a/tests/fc_script/estimate_difficulty.i +++ b/tests/fc_script/estimate_difficulty.i @@ -1,6 +1,7 @@ /* run.config NOFRAMAC: testing frama-c-script, not frama-c itself - EXECNOW: LOG @PTEST_NAME@.res LOG @PTEST_NAME@.err PTESTS_TESTING=1 %{bin:frama-c-script} estimate-difficulty @PTEST_FILE@ > @PTEST_NAME@.res 2> @PTEST_NAME@.err + COMMENT: Disabled for now, when tests are executed in parallel, this test often fails + DONTRUN: EXECNOW: LOG @PTEST_NAME@.res LOG @PTEST_NAME@.err PTESTS_TESTING=1 %{bin:frama-c-script} estimate-difficulty @PTEST_FILE@ > @PTEST_NAME@.res 2> @PTEST_NAME@.err */ // these includes are not actually used by the compiler