Fail verification when the solver backend drops quantifiers - #4719

Fail verification when the solver backend drops quantifiers#4719

tautschnig merged 5 commits into

model-checking:mainmodel-checking/kani:mainfrom

tautschnig:surface-ignored-quantifierstautschnig/kani:surface-ignored-quantifiersCopy head branch name to clipboard