Runnable Counterexamples
If counterexamples are detected during a test run, the user is provided a script with traditional unit tests to reproduce the counterexamples.a new test file is generated with all the counter examples so that users can easily see exactly where and how the