Пример #1
0
int
main (void)
{
  decision_result = 1;
  buggy(1);
  assert (truecount == 0);
  return 0;
}
Пример #2
0
int main (void)
{
  unsigned int param;
  unsigned int borrow;
  param = 1;
  borrow = buggy (&param);

  if (param != 0)
    abort ();
  if (borrow + 1 != 0)
    abort ();
  return 0;
}