From 958e9f99e3837ea018f18799c0055d8dc8075c4d Mon Sep 17 00:00:00 2001 From: Peter Collingbourne Date: Wed, 25 May 2011 15:37:03 +0000 Subject: Name symbolic arrays using the 3rd argument to klee_make_symbolic, and make sure the name is unique. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@132054 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Core/SpecialFunctionHandler.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/Core/SpecialFunctionHandler.cpp') diff --git a/lib/Core/SpecialFunctionHandler.cpp b/lib/Core/SpecialFunctionHandler.cpp index 1a0ca406..d01a9ef4 100644 --- a/lib/Core/SpecialFunctionHandler.cpp +++ b/lib/Core/SpecialFunctionHandler.cpp @@ -680,7 +680,7 @@ void SpecialFunctionHandler::handleMakeSymbolic(ExecutionState &state, assert(success && "FIXME: Unhandled solver failure"); if (res) { - executor.executeMakeSymbolic(*s, mo); + executor.executeMakeSymbolic(*s, mo, name); } else { executor.terminateStateOnError(*s, "wrong size given to klee_make_symbolic[_name]", -- cgit 1.4.1