More tests for exact_div#1007

adpaco merged 2 commits into

model-checking:mainmodel-checking/kani:mainfrom

adpaco:exact-div-auditadpaco/rmc:exact-div-auditCopy head branch name to clipboard