From 0379144709c2bc47b6fc4bc42c5fe00a24d01a0d Mon Sep 17 00:00:00 2001 From: Taras Bereznyak Date: Thu, 4 Nov 2021 13:33:01 +0300 Subject: Fixed fail with preferCex, removed relation from first argument --- lib/Core/Memory.h | 6 ------ 1 file changed, 6 deletions(-) (limited to 'lib/Core/Memory.h') 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 > cexPreferences; // DO NOT IMPLEMENT MemoryObject(const MemoryObject &b); -- cgit 1.4.1