Method exec_command

analyzer/src/database/sqlite.cpp:187–194

}

void DbConnection::exec_command(const char* cmd) {
  ikos_assert_msg(cmd != nullptr, "cmd is null");

  int status = sqlite3_exec(this->_handle, cmd, nullptr, nullptr, nullptr);
  if (status != SQLITE_OK) {
    throw DbError(status, "DbConnection::exec_command(): " + std::string(cmd));
  }
}

void DbConnection::exec_command(const std::string& cmd) {
  this->exec_command(cmd.c_str());