disco-0.1.0.0: test/prop-fail/input

:load test/prop-fail/bad-tests.disco