Remove fixme from test for #78 (#1868)

model-checking · Nov 9, 2022 · 057926b · 057926b
1 parent 5e7095c
commit 057926b
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/tests/kani/Vectors/fixme_main.rs → tests/kani/Vectors/sort_by_key.rs b/tests/kani/Vectors/fixme_main.rs → tests/kani/Vectors/sort_by_key.rs
@@ -8,9 +8,8 @@ pub struct GuestRegionMmap {
     guest_base: GuestAddress,
 }
 
-// TODO: running this with --unwrap 2 causes CBMC to hang in propositional reduction.
 #[kani::proof]
-#[kani::unwind(0)]
+#[kani::unwind(3)]
 fn main() {
     let r = GuestRegionMmap { guest_base: GuestAddress(0) };
     let mut regions: Vec<GuestRegionMmap> = vec![];