path: root/test_deliverable/testcases/test_DIV_driver.c

int div(int, int);

int main()
{
    return !( 4818 == div(4692732, 974) );
}