diff --git a/crates/brainfuck_prover/src/components/instruction/table.rs b/crates/brainfuck_prover/src/components/instruction/table.rs index 44fc2c2..adee241 100644 --- a/crates/brainfuck_prover/src/components/instruction/table.rs +++ b/crates/brainfuck_prover/src/components/instruction/table.rs @@ -100,7 +100,7 @@ mod tests { } #[test] - fn test_add_row() { + fn test_add_row_front_registers() { let mut instruction_table = InstructionTable::new(); // Create a row to add to the table let row = InstructionTableRow { @@ -118,6 +118,21 @@ mod tests { assert_eq!(instruction_table.table, vec![row], "Added row should match the expected row."); } + #[test] + fn test_add_row() { + let mut instruction_table = InstructionTable::new(); + // Create a row to add to the table + let row = InstructionTableRow { + ip: BaseField::zero(), + ci: BaseField::from(43), + ni: BaseField::from(91), + }; + // Add the row to the table + instruction_table.add_row(row.clone()); + // Check that the table contains the added row + assert_eq!(instruction_table.table, vec![row], "Added row should match the expected row."); + } + #[test] fn test_add_multiple_rows() { let mut instruction_table = InstructionTable::new();