src/Interpreter/smtratinterpreter.cc

   1 /*
   2  * To change this license header, choose License Headers in Project Properties.
   3  * To change this template file, choose Tools | Templates
   4  * and open the template in the editor.
   5  */
   6
   7 /*
   8  * File:   smtratinterpreter.cc
   9  * Author: hamed
  10  *
  11  * Created on February 21, 2019, 2:33 PM
  12  */
  13
  14 #include "smtratinterpreter.h"
  15
  16 SMTRatInterpreter::SMTRatInterpreter(CSolver *solver):
  17         SMTInterpreter(solver)
  18 {
  19 }
  20
  21 void SMTRatInterpreter::compileRunCommand(char * command , size_t size){
  22         model_print("Calling SMTRat...\n");
  23         snprintf(command, size, "./run.sh timeout %u smtrat %s > %s", getTimeout(), SMTFILENAME, SMTSOLUTIONFILE);
  24 }
  25
  26 SMTRatInterpreter::~SMTRatInterpreter(){
  27 }