path: root/test_deliverable/testcases/test_RETURN_driver.c

int f();

int main()
{
    return !( 10==f() );
}