diff options
| author | Martin Nowack <martin@se.inf.tu-dresden.de> | 2014-03-03 15:07:05 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2015-04-01 15:19:32 +0100 |
| commit | f42c42c6dade572d348b6ecfd5203f4eea15d208 (patch) | |
| tree | d2e12d8e824c681d20553da77cd609474b067f90 | |
| parent | c711d470f4382e350748bccdc295fa002d9aaef5 (diff) | |
| download | klee-f42c42c6dade572d348b6ecfd5203f4eea15d208.tar.gz | |
[Core] Fixed typo in assertion
| -rw-r--r-- | lib/Core/Memory.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Core/Memory.cpp b/lib/Core/Memory.cpp index 1dd1e1fd..07c292a0 100644 --- a/lib/Core/Memory.cpp +++ b/lib/Core/Memory.cpp @@ -468,7 +468,7 @@ ref<Expr> ObjectState::read(ref<Expr> offset, Expr::Width width) const { // Otherwise, follow the slow general case. unsigned NumBytes = width / 8; - assert(width == NumBytes * 8 && "Invalid write size!"); + assert(width == NumBytes * 8 && "Invalid read size!"); ref<Expr> Res(0); for (unsigned i = 0; i != NumBytes; ++i) { unsigned idx = Context::get().isLittleEndian() ? i : (NumBytes - i - 1); @@ -488,7 +488,7 @@ ref<Expr> ObjectState::read(unsigned offset, Expr::Width width) const { // Otherwise, follow the slow general case. unsigned NumBytes = width / 8; - assert(width == NumBytes * 8 && "Invalid write size!"); + assert(width == NumBytes * 8 && "Invalid width for read size!"); ref<Expr> Res(0); for (unsigned i = 0; i != NumBytes; ++i) { unsigned idx = Context::get().isLittleEndian() ? i : (NumBytes - i - 1); |