Searcher.cpp File Reference

#include "Searcher.h"
#include "CoreStats.h"
#include "ExecutionState.h"
#include "Executor.h"
#include "MergeHandler.h"
#include "PTree.h"
#include "StatsTracker.h"
#include "klee/ADT/DiscretePDF.h"
#include "klee/ADT/RNG.h"
#include "klee/Statistics/Statistics.h"
#include "klee/Module/InstructionInfoTable.h"
#include "klee/Module/KInstruction.h"
#include "klee/Module/KModule.h"
#include "klee/Support/ErrorHandling.h"
#include "klee/System/Time.h"
#include "llvm/IR/Constants.h"
#include "llvm/IR/Instructions.h"
#include "llvm/IR/Module.h"
#include "llvm/Support/CommandLine.h"
#include <cassert>
#include <cmath>

Include dependency graph for Searcher.cpp:

Go to the source code of this file.

Macros
#define	IS_OUR_NODE_VALID(n)    (((n).getPointer() != nullptr) && (((n).getInt() & idBitMask) != 0))

Macro Definition Documentation

IS_OUR_NODE_VALID

#define IS_OUR_NODE_VALID

(

n

)

(((n).getPointer() != nullptr) && (((n).getInt() & idBitMask) != 0))

Definition at line 257 of file Searcher.cpp.