| REQUIRES: linux, x86_64 | |
| RUN: %cpp_compiler %S/SimpleCmpTest.cpp -o %t-SimpleCmpTest | |
| RUN: not %run %t-SimpleCmpTest -seed=1 -runs=100000000 2>&1 | FileCheck %s | |
| RUN: %run %t-SimpleCmpTest -max_total_time=1 -use_cmp=0 2>&1 | FileCheck %s --check-prefix=MaxTotalTime | |
| MaxTotalTime: Done {{.*}} runs in {{.}} second(s) | |
| CHECK: BINGO |