Searched refs:interpreterHandler (Results 1 – 4 of 4) sorted by relevance
| /dports/security/klee/klee-2.2/lib/Core/ |
| H A D | Executor.h | 125 InterpreterHandler *interpreterHandler; variable
488 return *interpreterHandler; in getHandler()
|
| H A D | Executor.cpp | 452 : Interpreter(opts), interpreterHandler(ih), searcher(0), in Executor()
476 interpreterHandler->getOutputFilename(ALL_QUERIES_SMT2_FILE_NAME),
477 interpreterHandler->getOutputFilename(SOLVER_QUERIES_SMT2_FILE_NAME),
478 interpreterHandler->getOutputFilename(ALL_QUERIES_KQUERY_FILE_NAME),
493 interpreterHandler->getOutputFilename("instructions.txt");
557 kmodule->manifest(interpreterHandler, StatsTracker::useStatistics()); in setModule()
564 interpreterHandler->getOutputFilename("assembly.ll"), in setModule()
3567 interpreterHandler->incPathsExplored();
3599 interpreterHandler->processTestCase(state, 0, 0);
4618 auto os = interpreterHandler->openOutputFile(name);
[all …]
|
| H A D | StatsTracker.cpp | 235 auto db_filename = executor.interpreterHandler->getOutputFilename("run.stats"); in StatsTracker()
290 istatsFile = executor.interpreterHandler->openOutputFile("run.istats"); in StatsTracker()
|
| /dports/devel/stack/stack-2.7.3/src/main/ |
| H A D | Main.hs | 178 >>= interpreterHandler currentDir args
482 interpreterHandler
488 interpreterHandler currentDir args f = do function
|