diff options
| author | Taras Bereznyak <bereznyak.taras1@huawei.com> | 2021-11-04 13:33:01 +0300 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2021-11-20 12:34:37 +0100 |
| commit | 0379144709c2bc47b6fc4bc42c5fe00a24d01a0d (patch) | |
| tree | 375dfb5b52d24bb4aa1aecb98d708c6d82379ae6 /lib/Core/Memory.h | |
| parent | f4c4f164a2d9132fcc53c0ce44ea8c5379d4d93e (diff) | |
| download | klee-0379144709c2bc47b6fc4bc42c5fe00a24d01a0d.tar.gz | |
Fixed fail with preferCex, removed relation from first argument
Diffstat (limited to 'lib/Core/Memory.h')
| -rw-r--r-- | lib/Core/Memory.h | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/lib/Core/Memory.h b/lib/Core/Memory.h index e88d5f55..d5189df5 100644 --- a/lib/Core/Memory.h +++ b/lib/Core/Memory.h @@ -64,12 +64,6 @@ public: /// should be either the allocating instruction or the global object /// it was allocated for (or whatever else makes sense). const llvm::Value *allocSite; - - /// A list of boolean expressions the user has requested be true of - /// a counterexample. Mutable since we play a little fast and loose - /// with allowing it to be added to during execution (although - /// should sensibly be only at creation time). - mutable std::vector< ref<Expr> > cexPreferences; // DO NOT IMPLEMENT MemoryObject(const MemoryObject &b); |