Previously we were continuing unconditonally, now we abort the run on the first failure unless --continue-on-failure is passed. There is probably a way of doing this that doesn't print a backtrace, but this minimal change using error achives the desired semantics for me:
# Test end
QCVEngine: Failure. Exiting...
CallStack (from HasCallStack):
error, called at src/QuickCheckVEngine/Main.hs:324:115 in main:Main
arichardson
commented
1 year ago
Previously we were continuing unconditonally, now we abort the run on the first failure unless --continue-on-failure is passed. There is probably a way of doing this that doesn't print a backtrace, but this minimal change using
errorachives the desired semantics for me:Fixes: https://github.com/CTSRD-CHERI/QuickCheckVEngine/issues/22