Static VadCop

powdr-labs · Jul 11, 2024 · c3ba01f · c3ba01f
1 parent 0b8dd58
commit c3ba01f
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/test_data/std/binary_test_dynamic.asm b/test_data/std/binary_test_dynamic.asm
@@ -4,6 +4,7 @@ use std::utils::unchanged_until;
 
 // Binary for single bytes using an exhaustive table
 machine ByteBinary with
+    degree: 262144,
     latch: latch,
     operation_id: operation_id
 {
@@ -33,6 +34,7 @@ machine ByteBinary with
 }
 
 machine Binary with
+    degree: 1024,
     latch: latch,
     operation_id: operation_id,
     // Allow this machine to be connected via a permutation
@@ -69,7 +71,7 @@ machine Binary with
 }
 
 
-machine Main with degree: 262144 {
+machine Main with degree: 1024 {
     reg pc[@pc];
     reg X0[<=];
     reg X1[<=];