From e0da9c342eca9949e6501bc8770942624ab645a9 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Thu, 2 Apr 2015 15:38:39 +0100 Subject: Removed unused fakeState field from ExecutionState --- include/klee/ExecutionState.h | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) (limited to 'include') diff --git a/include/klee/ExecutionState.h b/include/klee/ExecutionState.h index 5830ad28..73095afc 100644 --- a/include/klee/ExecutionState.h +++ b/include/klee/ExecutionState.h @@ -117,9 +117,6 @@ public: /// taken to reach/create this state TreeOStream symPathOS; - /// @brief Does not represent a real state just for patching purposes - bool fakeState; - /// @brief Counts how many instructions were executed since the last new /// instruction was covered. unsigned instsSinceCovNew; @@ -149,7 +146,7 @@ public: void removeFnAlias(std::string fn); private: - ExecutionState() : fakeState(false), ptreeNode(0) {} + ExecutionState() : ptreeNode(0) {} public: ExecutionState(KFunction *kf); -- cgit 1.4.1