klee
ValidatingSolver.cpp File Reference
#include "klee/Expr/Constraints.h"
#include "klee/Solver/Solver.h"
#include "klee/Solver/SolverImpl.h"
#include <vector>
Include dependency graph for ValidatingSolver.cpp:

Go to the source code of this file.

Classes

class  klee::ValidatingSolver
 

Namespaces

namespace  klee
 

Functions

Solver * klee::createValidatingSolver (Solver *s, Solver *oracle)