Searched defs:DummySolverImpl (Results 1 – 1 of 1) sorted by relevance
16 class DummySolverImpl : public SolverImpl { class30 DummySolverImpl::DummySolverImpl() {} in DummySolverImpl() function in klee::DummySolverImpl