KleeHandler Member List

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

getInfoStream() const	KleeHandler	inlinevirtual
getKTestFilesInDir(std::string directoryPath, std::vector< std::string > &results)	KleeHandler	static
getNumPathsCompleted()	KleeHandler	inline
getNumPathsExplored()	KleeHandler	inline
getNumTestCases()	KleeHandler	inline
getOutputFilename(const std::string &filename)	KleeHandler	virtual
getRunTimeLibraryPath(const char *argv0)	KleeHandler	static
getTestFilename(const std::string &suffix, unsigned id)	KleeHandler
incPathsCompleted()	KleeHandler	inlinevirtual
incPathsExplored(std::uint32_t num=1)	KleeHandler	inlinevirtual
InterpreterHandler()	klee::InterpreterHandler	inline
KleeHandler(int argc, char **argv)	KleeHandler
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_numGeneratedTests	KleeHandler	private
m_numTotalTests	KleeHandler	private
m_outputDirectory	KleeHandler	private
m_pathsCompleted	KleeHandler	private
m_pathsExplored	KleeHandler	private
m_pathWriter	KleeHandler	private
m_symPathWriter	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	inlinevirtual
~KleeHandler()	KleeHandler