Fix expectation.

powdr-labs · Jan 27, 2025 · a4726e0 · a4726e0
1 parent bd0c96e
commit a4726e0
Showing 1 changed file with 11 additions and 5 deletions.
diff --git a/executor/src/witgen/jit/block_machine_processor.rs b/executor/src/witgen/jit/block_machine_processor.rs
@@ -254,11 +254,17 @@ params[2] = Add::c[0];"
             col witness sel, a, b, c;
             a + b = 0;
         ";
-        let err_str = generate_for_block_machine(input, "Unconstrained", 2, 1)
-            .err()
-            .unwrap();
-        assert!(err_str
-            .contains("The following variables or values are still missing: Unconstrained::c"));
+        let code = generate_for_block_machine(input, "Unconstrained", 2, 1)
+            .unwrap()
+            .code;
+        assert_eq!(
+            format_code(&code),
+            "Unconstrained::sel[0] = 1;
+Unconstrained::a[0] = params[0];
+Unconstrained::b[0] = params[1];
+params[2] = 0;
+Unconstrained::c[0] = 0;"
+        );
     }
 
     #[test]