Add flags --fail-on-trap-only and fail-on-assertion-only#392
Merged
zapashcanon merged 1 commit intoOCamlPro:mainfrom filipeom:273-add-an-option-to-stop-looking-for-a-model-only-if-an-assertion-failure-is-found-but-not-a-wasm-trapAug 1, 2024
+67-22
