bool_conversion.res.oracle

/* Generated by Frama-C */
_Bool get_bool(void);

_Bool pass_bool(_Bool b);

_Bool b_flag1;
_Bool b_flag2;
void main(void)
{
  int tmp_0;
  _Bool tmp;
  _Bool tmp_1;
  tmp = get_bool();
  if (tmp != 0) tmp_0 = 0; else tmp_0 = 1;
  b_flag1 = pass_bool((_Bool)(tmp_0 != 0));
  tmp_1 = get_bool();
  b_flag2 = pass_bool(tmp_1 != 0);
  return;
}