path: root/test_deliverable/testcases/test_SWITCHDEF_driver.c

int switchdef(int);

int main()
{
    return ( 14 == switchdef(2) );
}