Documentation cleanup of UB detected by Kani#4245

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

tautschnig:cleanup-ub-limitationstautschnig/kani:cleanup-ub-limitationsCopy head branch name to clipboard