Skip to content

Commit

Permalink
specify range on test pil
Browse files Browse the repository at this point in the history
  • Loading branch information
Schaeff committed Aug 15, 2024
1 parent 64df34a commit db41e3f
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions test_data/pil/vm_to_block_dynamic_length.pil
Original file line number Diff line number Diff line change
Expand Up @@ -44,7 +44,7 @@ namespace main(256);
main.instr_mul $ [1, main.X, main.Y, main.Z] in [main_arith.operation_id, main_arith.x[0], main_arith.x[1], main_arith.y];
col fixed _linker_first_step = [1] + [0]*;
main._linker_first_step * (main._operation_id - 2) = 0;
namespace main__rom(256);
namespace main__rom(8);
col fixed p_line = [0, 1, 2, 3, 4, 5, 6] + [6]*;
col fixed p_X_const = [0, 0, 2, 0, 0, 0, 0] + [0]*;
col fixed p_Y_const = [0, 0, 1, 9, 27, 0, 0] + [0]*;
Expand All @@ -60,7 +60,7 @@ namespace main__rom(256);
col fixed p_reg_write_Z_A = [0, 0, 1, 1, 0, 0, 0] + [0]*;

// CHANGED HERE: The degree of this namespace is None, meaning that this machine has a variable size.
namespace main_arith;
namespace main_arith(8..64);
col witness operation_id;
col witness x[2];
col witness y;
Expand Down

0 comments on commit db41e3f

Please sign in to comment.