9 lines
264 B
C++
9 lines
264 B
C++
#include <contracts>
|
|
#include <cstdio>
|
|
#include <cstdlib>
|
|
|
|
[[maybe_unused]] static void handle_contract_violation(const std::contracts::contract_violation& violation) {
|
|
std::fprintf(stderr, "contract violation: %s\n", violation.comment());
|
|
std::abort();
|
|
}
|