equal_constrained_transitive

powdr-labs · Dec 10, 2024 · c01dca9 · c01dca9
1 parent 7dd3a12
commit c01dca9
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 22 deletions.
diff --git a/pilopt/tests/optimizer.rs b/pilopt/tests/optimizer.rs
@@ -100,11 +100,7 @@ fn intermediate() {
         col intermediate = x;
         intermediate = intermediate;
     "#;
-    let expectation = r#"namespace N(65536);
-    col witness x;
-    col intermediate = N::x;
-    N::intermediate = N::intermediate;
-"#;
+    let expectation = r#""#;
     let optimized = optimize(analyze_string::<GoldilocksField>(input).unwrap()).to_string();
     assert_eq!(optimized, expectation);
 }

diff --git a/pipeline/tests/asm.rs b/pipeline/tests/asm.rs
@@ -366,12 +366,6 @@ fn full_pil_constant() {
     regular_test_all_fields(f, Default::default());
 }
 
-#[test]
-fn intermediate() {
-    let f = "asm/intermediate.asm";
-    regular_test_all_fields(f, Default::default());
-}
-
 #[test]
 fn intermediate_nested() {
     let f = "asm/intermediate_nested.asm";

diff --git a/test_data/asm/intermediate.asm b/test_data/asm/intermediate.asm