Skip to content
Snippets Groups Projects
Commit c81d9710 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[tests] Ensure a stable number of source files in tests/fc_script/result

parent dcd62fe5
No related branches found
No related tags found
No related merge requests found
/* run.config /* run.config
NOFRAMAC: Just test the generation of a custom machdep with the installed script. NOFRAMAC: Just test the generation of a custom machdep with the installed script.
COMMENT: No C code gets analyzed there. File is empty on purpose COMMENT: No C code gets analyzed there. File is empty on purpose
COMMENT: WARNING: be sure to keep the ENABLED_IF below in sync with test_machdep_dummy.i
COMMENT: a disabled file is not copied, and some _other_ tests contain in their oracles
COMMENT: the number of .{ci} files in the directory...
ENABLED_IF: (and %{bin-available:clang} %{bin-available:yq}) ENABLED_IF: (and %{bin-available:clang} %{bin-available:yq})
FILTER: sed -e '/^version:/d' FILTER: sed -e '/^version:/d'
EXECNOW: LOG custom_machdep.yaml LOG make_machdep.err.log PTESTS_TESTING=1 %{bin:frama-c-script} make-machdep --compiler clang --cpp-arch-flags='--target=x86_64' | yq -Y 'del(.version)|del(.custom_defs)' > custom_machdep.yaml 2> make_machdep.err.log EXECNOW: LOG custom_machdep.yaml LOG make_machdep.err.log PTESTS_TESTING=1 %{bin:frama-c-script} make-machdep --compiler clang --cpp-arch-flags='--target=x86_64' | yq -Y 'del(.version)|del(.custom_defs)' > custom_machdep.yaml 2> make_machdep.err.log
......
/* run.config
NOFRAMAC: Just test the generation of a custom machdep with the installed script.
COMMENT: This is just a placeholder file for test_machdep.i when clang or yq is unavailable.
COMMENT: In that case, we don't do the test, but still need to copy a .i file
COMMENT: to keep the number of files inspected by fc-script identical.
COMMENT: WARNING: be sure to keep the ENABLED_IF below in sync with test_machdep.i
ENABLED_IF: (or (not %{bin-available:clang}) (not %{bin-available:yq}))
*/
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