Rethink should_panic and fail_uncoverable options as global conditions#2967

adpaco merged 4 commits into

model-checking:mainmodel-checking/kani:mainfrom

adpaco:should-panic-as-global-conditionadpaco/rmc:should-panic-as-global-conditionCopy head branch name to clipboard