Common.h File Reference
Include dependency graph for Common.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Namespaces | |
| namespace | klee |
Functions | |
| Solver * | klee::constructSolverChain (Solver *coreSolver, std::string querySMT2LogPath, std::string baseSolverQuerySMT2LogPath, std::string queryKQueryLogPath, std::string baseSolverQueryKQueryLogPath) |
Variables | |
| const char | klee::ALL_QUERIES_SMT2_FILE_NAME [] ="all-queries.smt2" |
| const char | klee::SOLVER_QUERIES_SMT2_FILE_NAME [] ="solver-queries.smt2" |
| const char | klee::ALL_QUERIES_KQUERY_FILE_NAME [] ="all-queries.kquery" |
| const char | klee::SOLVER_QUERIES_KQUERY_FILE_NAME [] ="solver-queries.kquery" |
