bts1553.res.oracle

[kernel] Parsing bts1553.i (no preprocessing)
/* Generated by Frama-C */
struct a {
   int b ;
};
static struct a __constr_expr_0 = {.b = 1};
struct a *d[1] = {& __constr_expr_0};
static struct a __constr_expr_1 = {.b = 5};
struct a *tmp[1] = {& __constr_expr_1};
int wibble(void)
{
  int __retres;
  __retres = 1;
  return __retres;
}

static struct a __constr_expr_2 = {.b = 2};
struct a *e[1] = {& __constr_expr_2};