[tests] reproducible oracle for assert.h-dependent test

ff91918b · Virgile Prevosto · 40e41c17 · ff91918b
Commit ff91918b authored Jan 06, 2020 by Virgile Prevosto
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

tests/slicing/bts709.c tests/slicing/bts709.c +1 -1

No files found.
--- a/tests/slicing/bts709.c
+++ b/tests/slicing/bts709.c
 /* run.config
-   STDOPT: +"-slice-pragma func -no-unicode -journal-disable -then-on 'Slicing export' -set-project-as-default -print -then -print -ocode @PTEST_DIR@/result/ocode_@PTEST_NUMBER@_@PTEST_NAME@.i -then @PTEST_DIR@/result/ocode_@PTEST_NUMBER@_@PTEST_NAME@.i -no-deps"
+   STDOPT: +"@PTEST_FILE@ -cpp-extra-args='-D__FC_ASSERT_FILE__=@PTEST_FILE@' -slice-pragma func -no-unicode -journal-disable -then-on 'Slicing export' -set-project-as-default -print -then -print -ocode @PTEST_DIR@/result/ocode_@PTEST_NUMBER@_@PTEST_NAME@.i -then @PTEST_DIR@/result/ocode_@PTEST_NUMBER@_@PTEST_NAME@.i -no-deps"
 */

 #include <assert.h>