PR feedback: use precondition in place of assert

This commit is contained in:
Andrew Rogers
2024-12-04 11:19:54 -08:00
parent 3b0e5bb160
commit 671db08c1d
2 changed files with 4 additions and 4 deletions

View File

@@ -66,8 +66,8 @@ public class MemoryMap {
} else if entry.endAddr <= addr {
lowerBound = currentIndex + 1
} else {
assert(addr >= entry.startAddr)
assert(addr < entry.endAddr)
precondition(addr >= entry.startAddr)
precondition(addr < entry.endAddr)
return entry
}
}