From 307f6201cedeeab244fa7a219a9495cbb0c9529c Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Tue, 9 Jun 2009 06:39:17 +0000
Subject: Remove Array::id.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73128 91177308-0d34-0410-b5e6-96231b3b80d8
---
unittests/Expr/ExprTest.cpp | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
(limited to 'unittests/Expr/ExprTest.cpp')
diff --git a/unittests/Expr/ExprTest.cpp b/unittests/Expr/ExprTest.cpp
index f86af1aa..b5f02b83 100644
--- a/unittests/Expr/ExprTest.cpp
+++ b/unittests/Expr/ExprTest.cpp
@@ -28,9 +28,9 @@ TEST(ExprTest, BasicConstruction) {
}
TEST(ExprTest, ConcatExtract) {
- Array *array = new Array("arr0", 0, 1, 256);
+ Array *array = new Array("arr0", 0, 256);
ref<Expr> read8 = Expr::createTempRead(array, 8);
- Array *array2 = new Array("arr1", 0, 2, 256);
+ Array *array2 = new Array("arr1", 0, 256);
ref<Expr> read8_2 = Expr::createTempRead(array2, 8);
ref<Expr> c100 = getConstant(100, 8);
@@ -80,10 +80,10 @@ TEST(ExprTest, ConcatExtract) {
}
TEST(ExprTest, ExtractConcat) {
- Array *array = new Array("arr0", 0, 3, 256);
+ Array *array = new Array("arr2", 0, 256);
ref<Expr> read64 = Expr::createTempRead(array, 64);
- Array *array2 = new Array("arr1", 0, 4, 256);
+ Array *array2 = new Array("arr3", 0, 256);
ref<Expr> read8_2 = Expr::createTempRead(array2, 8);
ref<Expr> extract1 = ExtractExpr::create(read64, 36, 4);
--
cgit 1.4.1