Esempi in C++ (Cpp) per context::get_status

Esempio n. 1

File: api_datalog.cpp Progetto: perillaseed/z3

 std::string get_last_status() {
     datalog::execution_result status = m_context.get_status();
     switch(status) {
     case datalog::INPUT_ERROR:
         return "input error";
     case datalog::OK:
         return "ok";
     case datalog::TIMEOUT:
         return "timeout";
     case datalog::APPROX:
         return "approximated";
     default:
         UNREACHABLE();
         return "unknown";
     }
 }