Note that we don't want to suppress the regression test suggestion in all unit tests:
Some units tests are randomized, so you want to add an explicit regression test when failures are detected.
If a unit test checks a large iterator of test cases automatically, you may still want to add explicit regression tests so that later re-factoring of the test case generation will not make the regression test disappear.
If a unit test on a single function detects failures in subcalls, you may want to add regression tests for the subcalls in case they are removed by re-factoring the caller.
In order to suppress only "suggesting the exact same test", we need to know what test we're in. It follows that live-prop-test would need to be told explicitly somehow. This would affect the syntax for regression tests - see #7 for related discussion
Note that we don't want to suppress the regression test suggestion in all unit tests:
In order to suppress only "suggesting the exact same test", we need to know what test we're in. It follows that live-prop-test would need to be told explicitly somehow. This would affect the syntax for regression tests - see #7 for related discussion