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)