Skip to content
Snippets Groups Projects
Commit 9d75da0d authored by Patrick Baudin's avatar Patrick Baudin Committed by Virgile Prevosto
Browse files

[Value] adds test oracles for -config gauges

parent 40986165
No related branches found
No related tags found
No related merge requests found
Showing
with 4 additions and 0 deletions
MACRO: EVA_OPTIONS -eva-show-progress -eva-msg-key=-summary -eva-auto-loop-unroll 0 -eva-domains gauges MACRO: EVA_OPTIONS -eva-show-progress -eva-msg-key=-summary -eva-auto-loop-unroll 0 -eva-domains gauges
MACRO: EVA_CONFIG @EVA_OPTIONS@ -no-autoload-plugins -load-module from,inout,eva,scope,variadic -machdep x86_32 MACRO: EVA_CONFIG @EVA_OPTIONS@ -no-autoload-plugins -load-module from,inout,eva,scope,variadic -machdep x86_32
# Compare the result with the oracle of the default config.
FILTER: diff --new-file @PTEST_DIR@/oracle/@PTEST_ORACLE@ -
OPT: -eva @EVA_CONFIG@ -journal-disable -out -input -deps OPT: -eva @EVA_CONFIG@ -journal-disable -out -input -deps
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment