diff options
Diffstat (limited to 'test_deliverable/testcases/test_WHILE0_driver.c')
| -rw-r--r-- | test_deliverable/testcases/test_WHILE0_driver.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/test_deliverable/testcases/test_WHILE0_driver.c b/test_deliverable/testcases/test_WHILE0_driver.c new file mode 100644 index 0000000..fc13491 --- /dev/null +++ b/test_deliverable/testcases/test_WHILE0_driver.c @@ -0,0 +1,6 @@ +int while0(int a, int b); + +int main() +{ + return !( 5613266 == while0(5613266, 389) ); +} |