oeu

powdr-labs · Jul 25, 2024 · edbc5c2 · edbc5c2
1 parent 4fba940
commit edbc5c2
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/test_data/asm/permutations/block_to_block.asm b/test_data/asm/permutations/block_to_block.asm
@@ -30,7 +30,7 @@ machine Binary4x with
     col witness Y;
 }
 
-machine Main with degree: 32 {
+machine Main with degree: 256 {
     reg pc[@pc];
     reg X[<=];
     reg Y[<=];

diff --git a/test_data/asm/permutations/simple.asm b/test_data/asm/permutations/simple.asm
@@ -1,7 +1,7 @@
 mod binary4;
 use binary4::Binary4;
 
-machine Main with degree: 32 {
+machine Main with degree: 128 {
     reg pc[@pc];
     reg X[<=];
     reg Y[<=];

diff --git a/test_data/asm/permutations/vm_to_block.asm b/test_data/asm/permutations/vm_to_block.asm
@@ -1,7 +1,7 @@
 mod binary4;
 use binary4::Binary4;
 
-machine Main with degree: 32 {
+machine Main with degree: 128 {
     reg pc[@pc];
     reg X[<=];
     reg Y[<=];