1 //===-- Common.h ------------------------------------------------*- C++ -*-===// 2 // 3 // The KLEE Symbolic Virtual Machine 4 // 5 // This file is distributed under the University of Illinois Open Source 6 // License. See LICENSE.TXT for details. 7 // 8 //===----------------------------------------------------------------------===// 9 10 /* 11 * This file groups declarations that are common to both KLEE and Kleaver. 12 */ 13 14 #ifndef KLEE_COMMON_H 15 #define KLEE_COMMON_H 16 17 #include "klee/Solver/Solver.h" 18 19 #include <string> 20 21 namespace klee { 22 const char ALL_QUERIES_SMT2_FILE_NAME[]="all-queries.smt2"; 23 const char SOLVER_QUERIES_SMT2_FILE_NAME[]="solver-queries.smt2"; 24 const char ALL_QUERIES_KQUERY_FILE_NAME[]="all-queries.kquery"; 25 const char SOLVER_QUERIES_KQUERY_FILE_NAME[]="solver-queries.kquery"; 26 27 Solver *constructSolverChain(Solver *coreSolver, 28 std::string querySMT2LogPath, 29 std::string baseSolverQuerySMT2LogPath, 30 std::string queryKQueryLogPath, 31 std::string baseSolverQueryKQueryLogPath); 32 } 33 34 35 36 #endif /* KLEE_COMMON_H */ 37