path: root/test_deliverable/testcases/test_ADD0_driver.c

int f(int x, int y);

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