#ifndef GENMC_RESULT_HANDLING_HPP
#define GENMC_RESULT_HANDLING_HPP

// CXX.rs generated headers:
#include "rust/cxx.h"

// GenMC headers:
#include "Verification/VerificationError.hpp"

#include <string>

/** Information about an error, formatted as a string to avoid having to share an error enum and
 * printing functionality with the Rust side. */
static auto format_error(VerificationError err) -> std::unique_ptr<std::string> {
    auto buf = std::string();
    auto s = llvm::raw_string_ostream(buf);
    s << err;
    return std::make_unique<std::string>(s.str());
}

#endif /* GENMC_RESULT_HANDLING_HPP */