path: root/test_deliverable/testcases/test_NOT_driver.c

int not(int);

int main()
{
    return !( 5 == (not(0) * 5 + not(4)) );
}