Commit a2ad32ba authored by Patrick Baudin's avatar Patrick Baudin
Browse files

[Tests] updated oracles

parent fd6cf0c9
[kernel] Parsing tests/basic/aggregate.cpp (external front-end)
[kernel] Parsing aggregate.cpp (external front-end)
Now output intermediate result
[eva] Analyzing a complete application starting at main
[eva] Computing initial state
......
[kernel] Parsing tests/basic/anonymous_struct.cpp (external front-end)
[kernel] Parsing anonymous_struct.cpp (external front-end)
Now output intermediate result
/* Generated by Frama-C */
struct _frama_c_vmt_content {
......
[kernel] Parsing tests/basic/array_2d_1987.cpp (external front-end)
[kernel] Parsing array_2d_1987.cpp (external front-end)
Now output intermediate result
/* Generated by Frama-C */
int a[3][4];
......
[kernel] Parsing tests/basic/array_field.cc (external front-end)
[kernel] Parsing array_field.cc (external front-end)
Now output intermediate result
[kernel] Warning: Assuming declared function malloc can't throw any exception
[kernel] Warning: Assuming declared function free can't throw any exception
......
[kernel] Parsing tests/basic/asm.cc (external front-end)
[kernel] Parsing asm.cc (external front-end)
Now output intermediate result
/* Generated by Frama-C */
int main(void)
......
[kernel] Parsing tests/basic/assign_lval.cpp (external front-end)
[kernel] Parsing assign_lval.cpp (external front-end)
Now output intermediate result
/* Generated by Frama-C */
int y;
......
[kernel] Parsing tests/basic/bitfields.cc (external front-end)
[kernel] Parsing bitfields.cc (external front-end)
Now output intermediate result
/* Generated by Frama-C */
struct _frama_c_vmt_content {
......
[kernel] Parsing tests/basic/brace_or_equal_initializer.cpp (external front-end)
[kernel] Parsing brace_or_equal_initializer.cpp (external front-end)
Now output intermediate result
/* Generated by Frama-C */
struct _frama_c_vmt_content {
......
[kernel] Parsing tests/basic/c_link.cc (external front-end)
[kernel] Parsing c_link.cc (external front-end)
Now output intermediate result
[kernel] Warning: Assuming declared function f can't throw any exception
[kernel] Warning: Assuming declared function f can't throw any exception
......
[kernel] Parsing tests/basic/cast.cc (external front-end)
[kernel] Parsing cast.cc (external front-end)
Now output intermediate result
/* Generated by Frama-C */
void *foo<void*>(void *x)
......
[kernel] Parsing tests/basic/constant.cpp (external front-end)
[kernel] Parsing constant.cpp (external front-end)
Now output intermediate result
/* Generated by Frama-C */
int f<3>(void)
......
[kernel] Parsing tests/basic/decayed_type.cpp (external front-end)
[kernel] Parsing decayed_type.cpp (external front-end)
Now output intermediate result
[kernel] Warning: Assuming declared function foo can't throw any exception
/* Generated by Frama-C */
......
[kernel] Parsing tests/basic/default_args.cc (external front-end)
[kernel] Parsing default_args.cc (external front-end)
Now output intermediate result
/* Generated by Frama-C */
struct _frama_c_vmt_content {
......
[kernel] Parsing tests/basic/delete_all_kind.cpp (external front-end)
[kernel] Parsing delete_all_kind.cpp (external front-end)
Now output intermediate result
[kernel] Warning: Assuming declared function malloc can't throw any exception
[kernel] Warning: Assuming declared function malloc can't throw any exception
......
[kernel] Parsing tests/basic/delete_free_warn_1946.cpp (external front-end)
[kernel] Parsing delete_free_warn_1946.cpp (external front-end)
Now output intermediate result
[kernel] Warning: Assuming declared function free can't throw any exception
/* Generated by Frama-C */
......
[kernel] Parsing tests/basic/empty_arg_list_bts1506.cpp (external front-end)
[kernel] Parsing empty_arg_list_bts1506.cpp (external front-end)
Now output intermediate result
[kernel] Warning: Assuming declared function f can't throw any exception
[kernel] Warning: Assuming declared function g can't throw any exception
......
[kernel] Parsing tests/basic/empty_fun.cc (external front-end)
[kernel] Parsing empty_fun.cc (external front-end)
Now output intermediate result
[kernel] Warning: Assuming declared function bla can't throw any exception
[kernel] Warning: Assuming declared function bla can't throw any exception
......
[kernel] Parsing tests/basic/enum.cc (external front-end)
[kernel] Parsing enum.cc (external front-end)
Now output intermediate result
/* Generated by Frama-C */
enum foo {
......
[kernel] Parsing tests/basic/enum_neg_const.cpp (external front-end)
[kernel] Parsing enum_neg_const.cpp (external front-end)
Now output intermediate result
/* Generated by Frama-C */
enum foo {
......
[kernel] Parsing tests/basic/enum_neg_const.cpp (external front-end)
[kernel] Parsing enum_neg_const.cpp (external front-end)
Now output intermediate result
/* Generated by Frama-C */
enum foo {
......
Markdown is supported
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