path: root/test_deliverable/testcases/test_MAIN_driver.c

int f(int x)
{
    return 2*x;
}