Skip to content
Snippets Groups Projects
Commit 109bc815 authored by Thibault Martin's avatar Thibault Martin Committed by Andre Maroneze
Browse files

[tests] update test oracles

parent 859a9a7d
No related branches found
No related tags found
No related merge requests found
[kernel] Parsing array_cast_bts1099.i (no preprocessing) [kernel] Parsing array_cast_bts1099.i (no preprocessing)
[kernel] array_cast_bts1099.i:12: User Error: [kernel] array_cast_bts1099.i:12: User Error:
Cast over a non-scalar type t explicit cast: cast over a non-scalar type t
10 int tab1[4]; 10 int tab1[4];
11 u* p = &tab1; 11 u* p = &tab1;
12 t* p2 = (t) p; 12 t* p2 = (t) p;
......
[kernel] Parsing wrong-assignment.i (no preprocessing) [kernel] Parsing wrong-assignment.i (no preprocessing)
[kernel] wrong-assignment.i:13: User Error: [kernel] wrong-assignment.i:13: User Error:
cast from ebool to _Bool implicit cast: cast from ebool to _Bool
11 void d() { 11 void d() {
12 // this assignment should be rejected 12 // this assignment should be rejected
13 c.a = b; 13 c.a = b;
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment