From c9d4157c4f767672d61e513b686f08c84ee70076 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Wed, 27 Jul 2022 13:49:48 +0200
Subject: [PATCH] [tests] Disable estimate_difficulty test - not robust enough
currently when multi-thread
---
tests/fc_script/estimate_difficulty.i | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/tests/fc_script/estimate_difficulty.i b/tests/fc_script/estimate_difficulty.i
index 23b63dd6c52..68ee456b3a5 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
--
GitLab