Thorough testing for rotate intrinsics#880

adpaco merged 5 commits into

model-checking:mainmodel-checking/kani:mainfrom

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