From b5f85b7493cb48ccec6ab6df437a72f4f7f0b1f1 Mon Sep 17 00:00:00 2001 From: MartinNowack Date: Mon, 11 Mar 2019 13:05:16 +0000 Subject: Replaced "default=off" with "default=false" Co-Authored-By: ccadar --- lib/Core/MergeHandler.cpp | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'lib/Core') diff --git a/lib/Core/MergeHandler.cpp b/lib/Core/MergeHandler.cpp index f14ea013..91cd5eb6 100644 --- a/lib/Core/MergeHandler.cpp +++ b/lib/Core/MergeHandler.cpp @@ -23,22 +23,22 @@ llvm::cl::OptionCategory MergeCat("Path merging options", llvm::cl::opt UseMerge( "use-merge", llvm::cl::init(false), llvm::cl::desc("Enable support for path merging via klee_open_merge() and " - "klee_close_merge() (default=off)"), + "klee_close_merge() (default=false)"), llvm::cl::cat(klee::MergeCat)); llvm::cl::opt DebugLogMerge( "debug-log-merge", llvm::cl::init(false), - llvm::cl::desc("Debug information for path merging (default=off)"), + llvm::cl::desc("Debug information for path merging (default=false)"), llvm::cl::cat(klee::MergeCat)); llvm::cl::opt UseIncompleteMerge( "use-incomplete-merge", llvm::cl::init(false), - llvm::cl::desc("Heuristic-based path merging (default=off)"), + llvm::cl::desc("Heuristic-based path merging (default=false)"), llvm::cl::cat(klee::MergeCat)); llvm::cl::opt DebugLogIncompleteMerge( "debug-log-incomplete-merge", llvm::cl::init(false), - llvm::cl::desc("Debug information for incomplete path merging (default=off)"), + llvm::cl::desc("Debug information for incomplete path merging (default=false)"), llvm::cl::cat(klee::MergeCat)); double MergeHandler::getMean() { -- cgit 1.4.1