Fix compiler_builtins upstream monomorphizations errors by inlining kani_contract_mode - #4312

Fix compiler_builtins upstream monomorphizations errors by inlining kani_contract_mode#4312

feliperodri merged 1 commit into

model-checking:mainmodel-checking/kani:mainfrom

os-checker:fix-compiler_builtins-upstream-monomorphizationsos-checker/kani:fix-compiler_builtins-upstream-monomorphizationsCopy head branch name to clipboard