SKETCH version 1.7.6
Benchmark = tests/loop1a.sk
/* BEGIN PACKAGE ANONYMOUS*/
/*tests/loop1a.sk:4*/

void sketch ()/*tests/loop1a.sk:4*/
{
  int y = 0;
  int x = 4;
  while(x > 1)
  {
    x = x - 1;
    y = y + 1;
  }
  assert (y > 2); //Assert at tests/loop1a.sk:11 (2)
}
/*tests/loop1a.sk:4*/

void sketch__Wrapper ()  implements sketch__WrapperNospec/*tests/loop1a.sk:4*/
{
  sketch();
}
/*tests/loop1a.sk:4*/

void sketch__WrapperNospec ()/*tests/loop1a.sk:4*/
{ }
/* END PACKAGE ANONYMOUS*/
[SKETCH] DONE
Total time = 193