Add support for volatile_copy_memory, volatile_copy_nonoverlapping_memory and volatile_set_memory - #4672

Add support for volatile_copy_memory, volatile_copy_nonoverlapping_memory and volatile_set_memory#4672

feliperodri merged 4 commits into

model-checking:mainmodel-checking/kani:mainfrom

ivmat:volatile-intrinsics-supportivmat/kani:volatile-intrinsics-supportCopy head branch name to clipboard