From 91f7c88c12098c847d02a8bd85d110e7d9a0ab23 Mon Sep 17 00:00:00 2001 From: Daejun Park Date: Tue, 17 Sep 2024 15:47:02 -0700 Subject: [PATCH] Update src/halmos/bytevec.py Co-authored-by: karmacoma --- src/halmos/bytevec.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/halmos/bytevec.py b/src/halmos/bytevec.py index 2b30f04e..872735a0 100644 --- a/src/halmos/bytevec.py +++ b/src/halmos/bytevec.py @@ -613,7 +613,7 @@ def set_word(self, offset: int, value: Word) -> None: def concretize(self, substitution: dict[BitVecRef, BitVecRef]) -> None: """ - Replace all symbols in the chunks with their corresponding concrete values, if they exist in the given substituion mapping. + Replace all symbols in the chunks with their corresponding concrete values, if they exist in the given substitution mapping. """ for offset, chunk in self.chunks.items(): chunk_data = chunk.data