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

reconcile internal and external compilation wrt test oracles

parent 65fcf883
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/e-acsl/tests/test_config.in
+ 1
− 1
View file @ 90d1f0f4
CMD: @frama-c@ @SHARE@ CMD: @frama-c@ @SHARE@
OPT: -e-acsl-check -e-acsl-verbose 0 OPT: -e-acsl-check -e-acsl-verbose 0
FILTER:@SEDCMD@ -e "s|[a-zA-Z/\\]\+frama_c_project_e-acsl_[a-z0-9]*|PROJECT_FILE|" -e "s|`readlink -f $FRAMAC_SHARE`|FRAMAC_SHARE|g" -e "s|../../share|FRAMAC_SHARE|g" FILTER:@SEDCMD@ -e "s|[a-zA-Z/\\]\+frama_c_project_e-acsl_[a-z0-9]*|PROJECT_FILE|" -e "s|`readlink -f $FRAMAC_SHARE`|FRAMAC_SHARE|g" -e "s|../../share|FRAMAC_SHARE|g" -e "s|./share/e-acsl|FRAMAC_SHARE/e-acsl|g" -e "s|share/e-acsl|FRAMAC_SHARE/e-acsl|g"
COMMENT: The last regex works around the tendency of Frama-C to transform COMMENT: The last regex works around the tendency of Frama-C to transform
COMMENT: absolute path into relative ones whenever the file is not too far COMMENT: absolute path into relative ones whenever the file is not too far
COMMENT: away from cwd. COMMENT: away from cwd.
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