Project

General

Profile

Download (330 Bytes)

Bug #2699 » test.c

Example with division that fails BLAST - Evgeny Novikov, 04/04/2012 03:04 PM

 
int main()
{
int a = 2;
int b = 1;
a = a / 2;

//if (!(a - b)) // It works both with BLAST and CPAchecker!
if (!a) // It doesn't work with BLAST but works with CPAchecker! Ack! The gremlins again!: FociInterface.SAT(0, 0) Fatal error: exception FociInterface.SAT(0, 0)
{
ERROR: goto ERROR;
}
return 0;
}
(1-1/2)