From edbc5c2e435e2794fedf65cec9de1529bf602d8f Mon Sep 17 00:00:00 2001 From: chriseth Date: Thu, 25 Jul 2024 20:49:22 +0200 Subject: [PATCH] oeu --- test_data/asm/permutations/block_to_block.asm | 2 +- test_data/asm/permutations/simple.asm | 2 +- test_data/asm/permutations/vm_to_block.asm | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/test_data/asm/permutations/block_to_block.asm b/test_data/asm/permutations/block_to_block.asm index 7a9dab6a7..0573713ba 100644 --- 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 index 4a13f30a6..3b2c6b2ea 100644 --- 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 index a78a23dff..f300e4a52 100644 --- 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[<=];