Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
frama-c
Commits
d2f574d3
Commit
d2f574d3
authored
Jan 06, 2020
by
Virgile Prevosto
Browse files
[tests] update cpp-command test
parent
93b31968
Changes
4
Hide whitespace changes
Inline
Side-by-side
tests/syntax/cpp-command.c
View file @
d2f574d3
/* run.config*
FILTER: sed 's|/tmp/[^ ]*\.i|/tmp/FILE.i|g'
OPT: -no-autoload-plugins -cpp-frama-c-compliant -cpp-command "echo [
'%1' '%1' '%i'
'%input'] ['%2' '%2' '%o' '%output'] ['%args']"
OPT: -no-autoload-plugins -cpp-frama-c-compliant -cpp-command "echo %%1 = '%1' %%2 = '%2' %%args = '%args'"
OPT: -no-autoload-plugins -cpp-frama-c-compliant -cpp-command "printf "%s"
'
using \\% has no effect : \%input
'
"
OPT: -no-autoload-plugins -cpp-frama-c-compliant -cpp-command "echo [
\$(basename '%1') \$(basename '%1') \$(basename '%i') \$(basename
'%input'
)
] ['%2' '%2' '%o' '%output'] ['%args']"
OPT: -no-autoload-plugins -cpp-frama-c-compliant -cpp-command "echo %%1 =
\$(basename
'%1'
)
%%2 = '%2' %%args = '%args'"
OPT: -no-autoload-plugins -cpp-frama-c-compliant -cpp-command "printf
\
"%s
\
"
\"
using \\% has no effect :
\$(basename \"
\%input
\")\"
"
OPT: -no-autoload-plugins -cpp-frama-c-compliant -cpp-command "echo %var is not an interpreted placeholder"
*/
\ No newline at end of file
*/
tests/syntax/oracle/cpp-command.0.res.oracle
View file @
d2f574d3
[kernel] Parsing tests/syntax/cpp-command.c (with preprocessing)
[
tests/syntax/
cpp-command.c
tests/syntax/
cpp-command.c
tests/syntax/
cpp-command.c
tests/syntax/
cpp-command.c] [/tmp/FILE.i /tmp/FILE.i /tmp/FILE.i /tmp/FILE.i] [ -I./share/libc -D__FRAMAC__ -D__FC_MACHDEP_X86_32 -dD -nostdinc -m32]
[cpp-command.c cpp-command.c cpp-command.c cpp-command.c] [/tmp/FILE.i /tmp/FILE.i /tmp/FILE.i /tmp/FILE.i] [ -I./share/libc -D__FRAMAC__ -D__FC_MACHDEP_X86_32 -dD -nostdinc -m32]
tests/syntax/oracle/cpp-command.1.res.oracle
View file @
d2f574d3
[kernel] Parsing tests/syntax/cpp-command.c (with preprocessing)
%1 =
tests/syntax/
cpp-command.c %2 = /tmp/FILE.i %args = -I./share/libc -D__FRAMAC__ -D__FC_MACHDEP_X86_32 -dD -nostdinc -m32
%1 = cpp-command.c %2 = /tmp/FILE.i %args = -I./share/libc -D__FRAMAC__ -D__FC_MACHDEP_X86_32 -dD -nostdinc -m32
tests/syntax/oracle/cpp-command.2.res.oracle
View file @
d2f574d3
[kernel] Parsing tests/syntax/cpp-command.c (with preprocessing)
using \% has no effect : \tests/syntax/cpp-command.c
\ No newline at end of file
using \% has no effect : cpp-command.c'
\ No newline at end of file
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment