Run each harness as its own rayon job so -j N workers do not idle at the end of a run - #5031

Run each harness as its own rayon job so -j N workers do not idle at the end of a run#5031

feliperodri merged 2 commits into

model-checking:mainmodel-checking/kani:mainfrom

jadenfix:harness-runner-max-lenjadenfix/kani:harness-runner-max-lenCopy head branch name to clipboard