aboutsummaryrefslogtreecommitdiffstats
path: root/test_deliverable/testcases/test_WHILE0_driver.c
blob: fc134911459b86a638e44f726fcf665be88438c6 (plain)
1
2
3
4
5
6
int while0(int a, int b);

int main()
{
    return !( 5613266 == while0(5613266, 389) );
}