KleeHandler Member List

This is the complete list of members for KleeHandler, including all inherited members.

getInfoStream() const	KleeHandler	[inline, virtual]
getNumPathsExplored()	KleeHandler	[inline]
getNumTestCases()	KleeHandler	[inline]
getOutFiles(std::string path, std::vector< std::string > &results)	KleeHandler	[static]
getOutputFilename(const std::string &filename)	KleeHandler	[virtual]
getTestFilename(const std::string &suffix, unsigned id)	KleeHandler
incPathsExplored()	KleeHandler	[inline, virtual]
InterpreterHandler()	klee::InterpreterHandler	[inline]
KleeHandler(int argc, char **argv)	KleeHandler
loadOutFile(std::string name, std::vector< unsigned char > &buffer)	KleeHandler	[static]
loadPathFile(std::string name, std::vector< bool > &buffer)	KleeHandler	[static]
m_argc	KleeHandler	[private]
m_argv	KleeHandler	[private]
m_infoFile	KleeHandler	[private]
m_interpreter	KleeHandler	[private]
m_outputDirectory	KleeHandler	[private]
m_pathsExplored	KleeHandler	[private]
m_pathWriter	KleeHandler	[private]
m_symPathWriter	KleeHandler	[private]
m_testIndex	KleeHandler	[private]
openOutputFile(const std::string &filename)	KleeHandler	[virtual]
openTestFile(const std::string &suffix, unsigned id)	KleeHandler
processTestCase(const ExecutionState &state, const char *errorMessage, const char *errorSuffix)	KleeHandler	[virtual]
setInterpreter(Interpreter *i)	KleeHandler
~InterpreterHandler()	klee::InterpreterHandler	[inline, virtual]
~KleeHandler()	KleeHandler