Validate addresses after insertion

lambdaclass · Aug 1, 2023 · 46b5c26 · 46b5c26
1 parent 8d3b42b
commit 46b5c26
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/pkg/vm/memory/memory.go b/pkg/vm/memory/memory.go
@@ -50,8 +50,7 @@ func (m *Memory) Insert(addr Relocatable, val *MaybeRelocatable) error {
 	}
 
 	m.data[addr] = *val
-
-	return nil
+	return m.validateAddress(addr)
 }
 
 // Gets some value stored in the memory address `addr`.
@@ -77,6 +76,7 @@ func (m *Memory) Get(addr Relocatable) (*MaybeRelocatable, error) {
 	return &value, nil
 }
 
+// Adds a validation rule for a given segment
 func (m *Memory) AddValidationRule(segment_index uint, rule ValidationRule) {
 	m.validation_rules[segment_index] = rule
 }