Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
frama-c
Commits
59699d74
Commit
59699d74
authored
Mar 05, 2018
by
Virgile Prevosto
Browse files
update oracles
parent
fed9daba
Changes
4
Hide whitespace changes
Inline
Side-by-side
src/plugins/e-acsl/tests/bts/oracle/bts2252.res.oracle
View file @
59699d74
tests/bts/bts2252.c:22:[kernel] warning: Calling undeclared function strncpy. Old style K&R code?
tests/bts/bts2252.c:22:[kernel
:typing:implicit-function-declaration
] warning: Calling undeclared function strncpy. Old style K&R code?
[e-acsl] beginning translation.
tests/bts/bts2252.c:22:[kernel] warning: Neither code nor specification for function strncpy, generating default assigns from the prototype
[e-acsl] translation done in project "e-acsl".
...
...
src/plugins/e-acsl/tests/format/oracle/fprintf.res.oracle
View file @
59699d74
tests/format/fprintf.c:15:[kernel] warning: Calling undeclared function fork. Old style K&R code?
tests/format/fprintf.c:15:[kernel
:typing:implicit-function-declaration
] warning: Calling undeclared function fork. Old style K&R code?
tests/format/fprintf.c:22:[kernel:typing:incompatible-types-call] warning: expected 'FILE *' but got argument of type 'int *': & argc
[e-acsl] beginning translation.
[e-acsl] warning: annotating undefined function `exit':
...
...
src/plugins/e-acsl/tests/runtime/oracle/hidden_malloc.res.oracle
View file @
59699d74
tests/runtime/hidden_malloc.c:11:[kernel] warning: Calling undeclared function realpath. Old style K&R code?
tests/runtime/hidden_malloc.c:11:[kernel
:typing:implicit-function-declaration
] warning: Calling undeclared function realpath. Old style K&R code?
[e-acsl] beginning translation.
tests/runtime/hidden_malloc.c:11:[kernel] warning: Neither code nor specification for function realpath, generating default assigns from the prototype
[e-acsl] translation done in project "e-acsl".
...
...
src/plugins/e-acsl/tests/temporal/oracle/t_fun_lib.res.oracle
View file @
59699d74
tests/temporal/t_fun_lib.c:20:[kernel] warning: Calling undeclared function realpath. Old style K&R code?
tests/temporal/t_fun_lib.c:20:[kernel
:typing:implicit-function-declaration
] warning: Calling undeclared function realpath. Old style K&R code?
[e-acsl] beginning translation.
tests/temporal/t_fun_lib.c:20:[kernel] warning: Neither code nor specification for function realpath, generating default assigns from the prototype
[e-acsl] translation done in project "e-acsl".
...
...
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