From 5f320519a435f22e88872c3f1f7f0e2017406f9d Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Mon, 24 May 2010 09:37:25 +0000 Subject: Removed unused use-query-log option, patch submitted by Peter Collingbourne. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@104487 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Core/Executor.cpp | 4 ---- 1 file changed, 4 deletions(-) (limited to 'lib') diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp index 79f89de7..dc74b6cd 100644 --- a/lib/Core/Executor.cpp +++ b/lib/Core/Executor.cpp @@ -153,10 +153,6 @@ namespace { cl::init(true), cl::desc("Use counterexample caching")); - cl::opt - UseQueryLog("use-query-log", - cl::init(false)); - cl::opt UseQueryPCLog("use-query-pc-log", cl::init(false)); -- cgit 1.4.1