From 16df16b7295819b788570998baa9ab30dabde0e5 Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Thu, 25 Jun 2009 01:01:27 +0000
Subject: Kill off last getConstantValue uses.  - ConstantExpr should now fully
 support arbitrary width operations.

 - Still numerous holes in parsing, solver, etc. to plug.


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@74151 91177308-0d34-0410-b5e6-96231b3b80d8
---
 test/Solver/LargeIntegers.pc | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 test/Solver/LargeIntegers.pc

(limited to 'test')

diff --git a/test/Solver/LargeIntegers.pc b/test/Solver/LargeIntegers.pc
new file mode 100644
index 00000000..b47f8918
--- /dev/null
+++ b/test/Solver/LargeIntegers.pc
@@ -0,0 +1,11 @@
+# RUN: %kleaver %s > %t
+
+array a[64] : w32 -> w8 = symbolic
+
+# RUN: grep -A 1 \"Query 0\" %t > %t2
+# RUN: grep \"Expr 0:\t18446744073709551618\" %t2
+(query [] false [(Concat w128 (w64 1) (w64 2))])
+
+# RUN: grep -A 1 \"Query 1\" %t > %t2
+# RUN: grep \"Expr 0:\t16\" %t2
+(query [] false [(Extract w5 60 (Concat w128 (w64 1) (w64 2)))])
-- 
cgit 1.4.1