diff --git a/tests/fc_script/main.c b/tests/fc_script/main.c index 74d57214aa95bddef791ede03759c1a863e371da..74219d5a7189f16ec2c67693fda369b891036493 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 b704da034a4c3d0c18098123a35deebfdc11adb9..0000000000000000000000000000000000000000 --- a/tests/fc_script/oracle/main.res.oracle +++ /dev/null @@ -1 +0,0 @@ -[kernel] Parsing tests/fc_script/main.c (with preprocessing)