WIP: kani proofs

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

Author: bchalios

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

@@ -273,7 +273,7 @@ mod verification {
             kani::cover!();
 
             // The very first address should be offset bytes past DRAM_MEM_START
-            assert_eq!(regions[0].0.0, DRAM_MEM_START + offset);
+            assert_eq!(regions[0].0.0, DRAM_MEM_START + offset as u64);
             // The first region ends at the beginning of the 64 bits gap.
             assert_eq!(regions[0].0.0 + regions[0].1 as u64, MMIO64_MEM_START);
             // The second region starts exactly after the 64 bits gap.