array_cast_bts1099.res.oracle

[kernel] Parsing tests/syntax/array_cast_bts1099.i (no preprocessing)
[kernel] tests/syntax/array_cast_bts1099.i:7: User Error: 
  Cast over a non-scalar type int [10]
  5       int tab1[4];
  6       u* p = &tab1;
  7       t* p2 = (t) p;
        ^^^^^^^^^^^^^^^^
  8     }
[kernel] User Error: stopping on file "tests/syntax/array_cast_bts1099.i" that has errors.
[kernel] Frama-C aborted: invalid user input.