From 8b1535a802b586c32dd55b56b28b0c3949e13db3 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Fri, 17 Jul 2020 18:27:47 +0200
Subject: [PATCH] [tests] apply new NOFRAMAC directive to existing test
---
tests/fc_script/main.c | 2 +-
tests/fc_script/oracle/main.res.oracle | 1 -
2 files changed, 1 insertion(+), 2 deletions(-)
delete mode 100644 tests/fc_script/oracle/main.res.oracle
diff --git a/tests/fc_script/main.c b/tests/fc_script/main.c
index 74d57214aa9..74219d5a718 100644
--- a/tests/fc_script/main.c
+++ b/tests/fc_script/main.c
@@ -1,5 +1,5 @@
/* run.config
- OPT:
+ NOFRAMAC: testing frama-c-script, not frama-c itself
EXECNOW: LOG GNUmakefile LOG make_template.res LOG make_template.err PTESTS_TESTING= bin/frama-c-script make-template @PTEST_DIR@/result < @PTEST_DIR@/make_template.input > @PTEST_DIR@/result/make_template.res 2> @PTEST_DIR@/result/make_template.err
EXECNOW: LOG list_files.res LOG list_files.err bin/frama-c-script list-files @PTEST_DIR@/list_files.json > @PTEST_DIR@/result/list_files.res 2> @PTEST_DIR@/result/list_files.err
EXECNOW: LOG flamegraph.html LOG flamegraph.res LOG flamegraph.err NOGUI=1 bin/frama-c-script flamegraph @PTEST_DIR@/flamegraph.txt @PTEST_DIR@/result > @PTEST_DIR@/result/flamegraph.res 2> @PTEST_DIR@/result/flamegraph.err && rm -f @PTEST_DIR@/result/flamegraph.svg
diff --git a/tests/fc_script/oracle/main.res.oracle b/tests/fc_script/oracle/main.res.oracle
deleted file mode 100644
index b704da034a4..00000000000
--- a/tests/fc_script/oracle/main.res.oracle
+++ /dev/null
@@ -1 +0,0 @@
-[kernel] Parsing tests/fc_script/main.c (with preprocessing)
--
GitLab