Keep completed results when --fail-fast aborts a run - #4744

Keep completed results when --fail-fast aborts a run#4744

ivmat wants to merge 1 commit into

model-checking:mainmodel-checking/kani:mainfrom

ivmat:fix-fail-fast-collectivmat/kani:fix-fail-fast-collectCopy head branch name to clipboard