fix: Prune test programs

uncomputable · uncomputable · commit 0f5a15d9a62f · 2025-03-01T14:45:42.000+01:00
diff --git a/src/lib.rs b/src/lib.rs
@@ -392,10 +392,11 @@ mod tests {
         }
 
         fn run(self) -> Result<(), simplicity::bit_machine::ExecutionError> {
-            let mut mac = BitMachine::for_program(self.program.redeem())
-                .expect("program should be within reasonable bounds");
             let env = dummy_env::dummy_with(self.lock_time, self.sequence, self.include_fee_output);
-            mac.exec(self.program.redeem(), &env).map(|_| ())
+            let pruned = self.program.redeem().prune(&env)?;
+            let mut mac = BitMachine::for_program(&pruned)
+                .expect("program should be within reasonable bounds");
+            mac.exec(&pruned, &env).map(|_| ())
         }
 
         pub fn assert_run_success(self) {

Original file line number	Diff line number	Diff line change
`@@ -392,10 +392,11 @@ mod tests {`
`392`	`392`	`}`
`393`	`393`
`394`	`394`	`fn run(self) -> Result<(), simplicity::bit_machine::ExecutionError> {`
`395`		`- let mut mac = BitMachine::for_program(self.program.redeem())`
`396`		`- .expect("program should be within reasonable bounds");`
`397`	`395`	`let env = dummy_env::dummy_with(self.lock_time, self.sequence, self.include_fee_output);`
`398`		`- mac.exec(self.program.redeem(), &env).map(\|_\| ())`
	`396`	`+ let pruned = self.program.redeem().prune(&env)?;`
	`397`	`+ let mut mac = BitMachine::for_program(&pruned)`
	`398`	`+ .expect("program should be within reasonable bounds");`
	`399`	`+ mac.exec(&pruned, &env).map(\|_\| ())`
`399`	`400`	`}`
`400`	`401`
`401`	`402`	`pub fn assert_run_success(self) {`