MergeHandler.cpp File Reference

#include "MergeHandler.h"
#include "CoreStats.h"
#include "ExecutionState.h"
#include "Executor.h"
#include "Searcher.h"

Include dependency graph for MergeHandler.cpp:

Go to the source code of this file.

Namespaces
namespace	klee

Functions
llvm::cl::OptionCategory	klee::MergeCat ("Path merging options", "These options control path merging.")
llvm::cl::opt< bool >	klee::UseMerge ("use-merge", llvm::cl::init(false), llvm::cl::desc("Enable support for path merging via klee_open_merge() and " "klee_close_merge() (default=false)"), llvm::cl::cat(klee::MergeCat))
llvm::cl::opt< bool >	klee::DebugLogMerge ("debug-log-merge", llvm::cl::init(false), llvm::cl::desc("Debug information for path merging (default=false)"), llvm::cl::cat(klee::MergeCat))
llvm::cl::opt< bool >	klee::UseIncompleteMerge ("use-incomplete-merge", llvm::cl::init(false), llvm::cl::desc("Heuristic-based path merging (default=false)"), llvm::cl::cat(klee::MergeCat))
llvm::cl::opt< bool >	klee::DebugLogIncompleteMerge ("debug-log-incomplete-merge", llvm::cl::init(false), llvm::cl::desc("Debug information for incomplete path merging (default=false)"), llvm::cl::cat(klee::MergeCat))