chore: commment

MirandaWood · MirandaWood · commit 6b3e87513d6c · 2026-05-12T16:31:52.000Z
diff --git a/barretenberg/cpp/src/barretenberg/avm_fuzzer/fuzz_lib/program_block.cpp b/barretenberg/cpp/src/barretenberg/avm_fuzzer/fuzz_lib/program_block.cpp
@@ -1310,7 +1310,7 @@ void ProgramBlock::process_ecadd_instruction(ECADD_Instruction instruction)
                                  .build();
     instructions.push_back(ecadd_instruction);
 
-    // ECADD writes 3 consecutive memory locations: result_x (FF), result_y (FF), result_is_inf (U1)
+    // ECADD writes 2 consecutive memory locations: result_x (FF), result_y (FF)
     memory_manager.set_memory_address(bb::avm2::MemoryTag::FF, result.value().first.absolute_address);
     memory_manager.set_memory_address(bb::avm2::MemoryTag::FF, result.value().first.absolute_address + 1);
 }

Original file line number	Diff line number	Diff line change
`@@ -1310,7 +1310,7 @@ void ProgramBlock::process_ecadd_instruction(ECADD_Instruction instruction)`
`1310`	`1310`	`.build();`
`1311`	`1311`	`instructions.push_back(ecadd_instruction);`
`1312`	`1312`
`1313`		`- // ECADD writes 3 consecutive memory locations: result_x (FF), result_y (FF), result_is_inf (U1)`
	`1313`	`+ // ECADD writes 2 consecutive memory locations: result_x (FF), result_y (FF)`
`1314`	`1314`	`memory_manager.set_memory_address(bb::avm2::MemoryTag::FF, result.value().first.absolute_address);`
`1315`	`1315`	`memory_manager.set_memory_address(bb::avm2::MemoryTag::FF, result.value().first.absolute_address + 1);`
`1316`	`1316`	`}`