fix binary4

powdr-labs · Nov 22, 2024 · 272d5af · 272d5af
1 parent b8926ae
commit 272d5af
Show file tree

Hide file tree

Showing 5 changed files with 6 additions and 6 deletions.
diff --git a/test_data/asm/permutations/binary4.asm b/test_data/asm/permutations/binary4.asm
@@ -1,7 +1,7 @@
 /// Binary machine that works on chunks of 4 bits,
 /// to be used with permutation lookups.
-machine Binary4 with
-    degree: 32,
+machine Main with
+    degree: 256,
     latch: latch,
     operation_id: operation_id,
     // Allow this machine to be connected via a permutation

diff --git a/test_data/asm/permutations/block_to_block.asm b/test_data/asm/permutations/block_to_block.asm
@@ -1,5 +1,5 @@
 mod binary4;
-use binary4::Binary4;
+use binary4::Main as Binary4;
 
 machine Binary4x with
     degree: 32,

diff --git a/test_data/asm/permutations/call_selectors_with_no_permutation.asm b/test_data/asm/permutations/call_selectors_with_no_permutation.asm
@@ -1,5 +1,5 @@
 mod binary4;
-use binary4::Binary4;
+use binary4::Main as Binary4;
 
 machine Main with degree: 128 {
     reg pc[@pc];

diff --git a/test_data/asm/permutations/simple.asm b/test_data/asm/permutations/simple.asm
@@ -1,5 +1,5 @@
 mod binary4;
-use binary4::Binary4;
+use binary4::Main as Binary4;
 
 machine Main with degree: 8 {
     reg pc[@pc];

diff --git a/test_data/asm/permutations/vm_to_block.asm b/test_data/asm/permutations/vm_to_block.asm
@@ -1,5 +1,5 @@
 mod binary4;
-use binary4::Binary4;
+use binary4::Main as Binary4;
 
 machine Main with degree: 128 {
     reg pc[@pc];