Method commit_transaction

analyzer/src/database/sqlite.cpp:205–208

}

void DbConnection::commit_transaction() {
  ikos_assert(this->_commit_policy == CommitPolicy::Manual);
  this->exec_command("COMMIT");
}

void DbConnection::rollback_transaction() {
  ikos_assert(this->_commit_policy == CommitPolicy::Manual);