diff options
author | Alon Zakai <alonzakai@gmail.com> | 2014-03-17 14:35:31 -0700 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2014-03-17 17:56:17 -0700 |
commit | c422f49120d0ef0304213abda37de66d3b26f4c0 (patch) | |
tree | 99c96d1d54468b226de5dc1a5adadc5358cbdae0 /tests | |
parent | db3ab955c6167dec0e3d694b13b381f6bf7fb330 (diff) |
flip in simplifyElses if it can help
Diffstat (limited to 'tests')
-rw-r--r-- | tests/test_other.py | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/tests/test_other.py b/tests/test_other.py index 88a5c9c5..19d1790d 100644 --- a/tests/test_other.py +++ b/tests/test_other.py @@ -2637,3 +2637,18 @@ int main() } ''', [6, 3, 3]) + test(r''' + #include <stdio.h> + #include <stdlib.h> + + int main(int argc, char *argv[]) { + if (getenv("A") && getenv("B")) { + printf("hello world\n"); + } else { + printf("goodnight moon\n"); + } + printf("and that's that\n"); + return 0; + } + ''', [3, 1, 1]) + |