WIP: kani proofs

Signed-off-by: Babis Chalios <[email protected]>

Author: bchalios

src/vmm/src/arch/aarch64/mod.rs

@@ -222,8 +222,8 @@ mod verification {
     #[kani::proof]
     #[kani::unwind(3)]
     fn verify_arch_memory_regions() {
-        let offset: u64 = kani::any::<usize>();
-        let len: u64 = kani::any::<usize>();
+        let offset: usize = kani::any::<usize>();
+        let len: usize = kani::any::<usize>();
 
         kani::assume(len > 0);
         kani::assume(offset.checked_add(len).is_some());