path: root/test_deliverable/testcases/test_EMPTY_driver.c

void empty(int *a);

int main()
{
    int a = 39;
    empty(&a);
    return !( 13 == a );
}