Commit f55bf386 authored by Valentin Perrelle's avatar Valentin Perrelle
Browse files

Use the new arguments name for the variadic plugin.

parent f5bd26cf
......@@ -58,7 +58,8 @@ let unmemoized_extend_ast () =
(Kernel.Machdep.get ())
share);
Kernel.Keep_unused_specified_functions.off ();
if Plugin.is_present "va" then Dynamic.Parameter.Bool.off "-va" ();
if Plugin.is_present "variadic-translation" then
Dynamic.Parameter.Bool.off "-variadic-translation" ();
let ppc, ppk = File.get_preprocessor_command () in
let register s =
File.pre_register
......
......@@ -584,7 +584,7 @@ if [ -n "$OPTION_INSTRUMENT" ]; then
$FRAMAC_FLAGS \
$MACHDEP \
-cpp-extra-args="$FRAMAC_CPP_EXTRA" \
-no-va \
-variadic-no-translation \
-e-acsl-share=$EACSL_SHARE \
$OPTION_FRAMA_STDLIB \
$OPTION_VERBOSE \
......
LOG: gen_@PTEST_NAME@.c
OPT: -no-va -machdep gcc_x86_64 -check -e-acsl -then-last -load-script tests/print.cmxs -print -ocode tests/bts/result/gen_@PTEST_NAME@.c -kernel-verbose 0 -val -value-verbose 0
OPT: -variadic-no-translation -machdep gcc_x86_64 -check -e-acsl -then-last -load-script tests/print.cmxs -print -ocode tests/bts/result/gen_@PTEST_NAME@.c -kernel-verbose 0 -val -value-verbose 0
EXEC: ./scripts/testrun.sh @PTEST_NAME@ bts "" "--frama-c=@frama-c@"
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment