wip: feat: run_program_with_env

Author: uncomputable

simplicity-sys/src/tests/mod.rs

@@ -16,6 +16,7 @@ use crate::tests::ffi::{
     type_inference::simplicity_mallocTypeInference,
     SimplicityErr,
 };
+use crate::CElementsTxEnv;
 
 /// The result of parsing, typechecking, and running a Simplicity program
 /// through the C FFI
@@ -107,13 +108,22 @@ impl Drop for FreeOnDrop {
     }
 }
 
+pub fn run_program(
+    program: &[u8],
+    witness: &[u8],
+    test_up_to: TestUpTo,
+) -> Result<TestOutput, SimplicityErr> {
+    run_program_with_env(program, witness, test_up_to, ptr::null())
+}
+
 /// Run a program and return data about it
 ///
 /// This is mostly a direct port of `run_program` in C `tests.c`.
-pub fn run_program(
+pub fn run_program_with_env(
     program: &[u8],
     witness: &[u8],
     test_up_to: TestUpTo,
+    env: *const CElementsTxEnv,
 ) -> Result<TestOutput, SimplicityErr> {
     let mut result = TestOutput {
         amr: CSha256Midstate::default(),
@@ -266,8 +276,7 @@ pub fn run_program(
         }
 
         // 9. Run the program
-        result.eval_result =
-            simplicity_evalTCOProgram(dag, type_dag, len, ptr::null(), ptr::null());
+        result.eval_result = simplicity_evalTCOProgram(dag, type_dag, len, ptr::null(), env);
     }
 
     Ok(result)