feat: vec map remove back to scenario spec

andrii-a8c · andrii-a8c · commit 133c1b159953 · 2025-11-17T20:25:38.000+02:00
diff --git a/crates/sui-prover/tests/inputs/vec_map/remove.move b/crates/sui-prover/tests/inputs/vec_map/remove.move
@@ -9,7 +9,7 @@ fun foo(m: &mut vec_map::VecMap<u64, u8>) {
 }
 
 #[spec(prove)]
-fun foo_spec(m: &mut vec_map::VecMap<u64, u8>) {
+fun bar_spec(m: &mut vec_map::VecMap<u64, u8>) {
   requires(m.contains(&10));
   requires(!m.contains(&11));
   foo(m);

Original file line number	Diff line number	Diff line change
`@@ -9,7 +9,7 @@ fun foo(m: &mut vec_map::VecMap<u64, u8>) {`
`9`	`9`	`}`
`10`	`10`
`11`	`11`	`#[spec(prove)]`
`12`		`-fun foo_spec(m: &mut vec_map::VecMap<u64, u8>) {`
	`12`	`+fun bar_spec(m: &mut vec_map::VecMap<u64, u8>) {`
`13`	`13`	`requires(m.contains(&10));`
`14`	`14`	`requires(!m.contains(&11));`
`15`	`15`	`foo(m);`