dReal4
exception.h
1 #pragma once
2 
3 #include <fmt/format.h>
4 
5 #include <stdexcept>
6 
7 namespace dreal {
8 
9 #define DREAL_RUNTIME_ERROR(...) \
10  std::runtime_error(fmt::format("{}:{} ", __FILE__, __LINE__) + \
11  fmt::format(__VA_ARGS__))
12 
13 #define DREAL_UNREACHABLE() \
14  throw DREAL_RUNTIME_ERROR("Should not be reachable.") // LCOV_EXCL_LINE
15 
16 } // namespace dreal
dreal
Sum type of symbolic::Expression and symbolic::Formula.
Definition: api.cc:9