path: root/test_deliverable/testcases/test_IFELSEF_driver.c

int ifelsef(int a, int b);

int main()
{
    return !( 39 == ifelsef(0, 39) );
}