CheckBudget

struct CheckBudget

Per-check overrides of the persistent max-time / max-num-confl options.

Public Members

std::optional<std::chrono::milliseconds> time

0ms: give up at once; negative: INVALID_ARGUMENT

std::optional<std::uint64_t> conflicts