Turn off debug assertions under --prove-safety-only#4262

tautschnig merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom

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