Re-enable debug_assert in our standard library build - #4207

Re-enable debug_assert in our standard library build#4207

tautschnig wants to merge 1 commit into

model-checking:mainmodel-checking/kani:mainfrom

tautschnig:re-enable-debug-assertionstautschnig/kani:re-enable-debug-assertionsCopy head branch name to clipboard