DummySolver.cpp File Reference

#include "klee/Solver/Solver.h"
#include "klee/Solver/SolverImpl.h"
#include "klee/Solver/SolverStats.h"

Include dependency graph for DummySolver.cpp:

Go to the source code of this file.

Classes
class	klee::DummySolverImpl

Namespaces
namespace	klee

Functions
Solver *	klee::createDummySolver ()