diff --git a/src/integration_tests.zig b/src/integration_tests.zig index 4db9540d..f07be99d 100644 --- a/src/integration_tests.zig +++ b/src/integration_tests.zig @@ -104,10 +104,8 @@ pub fn main() void { .{ .pathname = "cairo_programs/if_in_function.json", .layout = "all_cairo" }, .{ .pathname = "cairo_programs/if_list.json", .layout = "all_cairo" }, .{ .pathname = "cairo_programs/if_reloc_equal.json", .layout = "all_cairo" }, - // TODO: panic index out of bounds - // .{ .pathname = "cairo_programs/integration_with_alloc_locals.json", .layout = "all_cairo" }, - // TODO: panic index outt of bound - // .{ .pathname = "cairo_programs/integration.json", .layout = "all_cairo" }, + .{ .pathname = "cairo_programs/integration_with_alloc_locals.json", .layout = "all_cairo" }, + .{ .pathname = "cairo_programs/integration.json", .layout = "all_cairo" }, // TODO: not implemented hint // .{ .pathname = "cairo_programs/inv_mod_p_uint512.json", .layout = "all_cairo" }, @@ -156,8 +154,7 @@ pub fn main() void { // .{ .pathname = "cairo_programs/packed_sha256_test.json", .layout = "all_cairo" }, // TODO: hint not implemented sha256 // .{ .pathname = "cairo_programs/packed_sha256.json", .layout = "all_cairo" }, - // TODO: panic index out of bounds - // .{ .pathname = "cairo_programs/pedersen_test.json", .layout = "all_cairo" }, + .{ .pathname = "cairo_programs/pedersen_test.json", .layout = "all_cairo" }, .{ .pathname = "cairo_programs/pointers.json", .layout = "all_cairo" }, .{ .pathname = "cairo_programs/poseidon_builtin.json", .layout = "all_cairo" }, .{ .pathname = "cairo_programs/poseidon_hash.json", .layout = "all_cairo" }, diff --git a/src/vm/builtins/builtin_runner/hash.zig b/src/vm/builtins/builtin_runner/hash.zig index f7ac31b3..272db23c 100644 --- a/src/vm/builtins/builtin_runner/hash.zig +++ b/src/vm/builtins/builtin_runner/hash.zig @@ -235,7 +235,7 @@ pub const HashBuiltinRunner = struct { memory: *Memory, ) !?MaybeRelocatable { // hash has already been processed - if ((address.offset <= self.verified_addresses.items.len) and self.verified_addresses.items[address.offset]) { + if ((address.offset < self.verified_addresses.items.len) and self.verified_addresses.items[address.offset]) { return null; } if (address.offset % @as(u64, self.cells_per_instance) != 2) {