Fix assert! and cover! expansions in expression contexts - #4875

Fix assert! and cover! expansions in expression contexts#4875

feliperodri merged 5 commits into

model-checking:mainmodel-checking/kani:mainfrom

trevordcampbell:fix-assert-expression-contextstrevordcampbell/kani:fix-assert-expression-contextsCopy head branch name to clipboard