1REQUIRES: linux, x86_64
2RUN: %cpp_compiler %S/EntropicScalePerExecTimeTest.cpp -o %t-EntropicScalePerExecTimeTest
3RUN: not %run %t-EntropicScalePerExecTimeTest -entropic=1 -entropic_scale_per_exec_time=1 -seed=1 -runs=100000 -max_len=10
4
5# The following test is added as a comment here for reference, which should
6# take more runs than with -entropic_scale_per_exec_time=1 to find the crash.
7# (it takes 126,633 runs)
8# RUN: not %run %t-EntropicScalePerExecTimeTest -entropic=1 -seed=1 -runs=200000 -max_len=10
9