| REQUIRES: linux | |
| REQUIRES: zlib | |
| # Custom mutator should find this bug, w/o custom -- no chance. | |
| RUN: %cpp_compiler %S/CompressedTest.cpp -o %t-CompressedTestCustom -DCUSTOM_MUTATOR -lz | |
| RUN: %cpp_compiler %S/CompressedTest.cpp -o %t-CompressedTestPlain -lz | |
| RUN: not %run %t-CompressedTestCustom -seed=1 -runs=1000000 | |
| RUN: %run %t-CompressedTestPlain -seed=1 -runs=1000000 |