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 --- include/klee/ExecutionState.h | 3 +++ 1 file changed, 3 insertions(+) (limited to 'include') diff --git a/include/klee/ExecutionState.h b/include/klee/ExecutionState.h index d2994288..6523c456 100644 --- a/include/klee/ExecutionState.h +++ b/include/klee/ExecutionState.h @@ -99,6 +99,9 @@ public: // FIXME: Move to a shared list structure (not critical). std::vector< std::pair > symbolics; + /// Set of used array names. Used to avoid collisions. + std::set arrayNames; + // Used by the checkpoint/rollback methods for fake objects. // FIXME: not freeing things on branch deletion. MemoryMap shadowObjects; -- cgit 1.4.1