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

[variadic] rename test

parent ac63e2ff
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/variadic/tests/declared/oracle/redfine_anonymous_parameters.res.oracle → src/plugins/variadic/tests/declared/oracle/redefine_anonymous_parameters.res.oracle
+ 2
− 2
View file @ 0706e0bf
[variadic] tests/declared/redfine_anonymous_parameters.i:1: [variadic] tests/declared/redefine_anonymous_parameters.i:1:
Declaration of variadic function printf. Declaration of variadic function printf.
[variadic] Warning: Unable to locate ACSL predicate valid_read_string which should be in the Frama-C LibC. Correct specifications can't be generated. [variadic] Warning: Unable to locate ACSL predicate valid_read_string which should be in the Frama-C LibC. Correct specifications can't be generated.
[variadic] Warning: Unable to locate global __fc_stdout which should be in the Frama-C LibC. Correct specifications can't be generated. [variadic] Warning: Unable to locate global __fc_stdout which should be in the Frama-C LibC. Correct specifications can't be generated.
[variadic] tests/declared/redfine_anonymous_parameters.i:4: [variadic] tests/declared/redefine_anonymous_parameters.i:4:
Translating call to printf to a call to the specialized version printf_va_1. Translating call to printf to a call to the specialized version printf_va_1.
[eva] Analyzing a complete application starting at main [eva] Analyzing a complete application starting at main
[eva] Computing initial state [eva] Computing initial state
......
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