test across namespaces

powdr-labs · Nov 21, 2024 · 19e31ac · 19e31ac
1 parent 1e15180
commit 19e31ac
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/pilopt/tests/optimizer.rs b/pilopt/tests/optimizer.rs
@@ -32,12 +32,23 @@ fn deduplicate_fixed() {
     col witness X;
     col witness Y;
     X * first = Y * second;
+    namespace M(65536);
+    col fixed first = [1, 32]*;
+    col fixed second = [1, 32]*;
+    col witness X;
+    col witness Y;
+    X * first = Y * second;
 "#;
     let expectation = r#"namespace N(65536);
     col fixed first = [1_fe, 32_fe]*;
     col witness X;
     col witness Y;
     N::X * N::first = N::Y * N::first;
+namespace M(65536);
+    col fixed first = [1_fe, 32_fe]*;
+    col witness X;
+    col witness Y;
+    M::X * M::first = M::Y * M::first;
 "#;
     let optimized = optimize(analyze_string::<GoldilocksField>(input).unwrap()).to_string();
     assert_eq!(optimized, expectation);