diff options
| author | m-davis <m.davis@tamu.edu> | 2022-03-26 00:49:50 -0500 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-06-15 15:47:33 +0100 |
| commit | 63fe39a9d0ce842ef13d2736efe31d5661f63829 (patch) | |
| tree | 5b89788a7d125ab7ff4f0d654cf6f9edc59f6ff4 /unittests/Expr | |
| parent | d677b57d384a66781aca9c897e440f7e23ab44c4 (diff) | |
| download | klee-63fe39a9d0ce842ef13d2736efe31d5661f63829.tar.gz | |
Spelling Fixes
Diffstat (limited to 'unittests/Expr')
| -rw-r--r-- | unittests/Expr/ArrayExprTest.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/unittests/Expr/ArrayExprTest.cpp b/unittests/Expr/ArrayExprTest.cpp index c7f3806a..bfc47219 100644 --- a/unittests/Expr/ArrayExprTest.cpp +++ b/unittests/Expr/ArrayExprTest.cpp @@ -56,8 +56,8 @@ TEST(ArrayExprTest, HashCollisions) { std::vector<unsigned char> value = {6, 0, 0, 0}; std::vector<std::vector<unsigned char>> values = {value}; - std::vector<const Array *> assigmentArrays = {symArray}; - auto a = std::make_unique<Assignment>(assigmentArrays, values, + std::vector<const Array *> assignmentArrays = {symArray}; + auto a = std::make_unique<Assignment>(assignmentArrays, values, /*_allowFreeValues=*/true); EXPECT_NE(a->evaluate(updatedRead), a->evaluate(firstRead)); |