16namespace sequoia::testing
18 template<
class T, std::
size_t MaxDepth>
23 template<
class CheckerType, test_mode Mode>
26 check(equality,
"Emptiness incorrect", logger, stack.empty(), prediction.empty());
27 check(equality,
"Size incorrect", logger, stack.size(), prediction.size());
29 if(!prediction.empty() && !stack.empty())
31 check(flavour,
"Top element incorrect", logger, stack.top(), prediction.top());
34 check(
"Hidden state incorrect", logger, prediction == stack);
bool check(CheckType flavour, std::string description, test_logger< Mode > &logger, Iter first, Sentinel last, PredictionIter predictionFirst, PredictionSentinel predictionLast, tutor< Advisor > advisor={})
The workhorse for comparing the contents of ranges.
Definition: FreeCheckers.hpp:377
Utilities for checking regular semantics.
A stack suitable for constexpr contexts.
Definition: StaticStack.hpp:27
Definition: TestLogger.hpp:183
class template, specializations of which implement various comparisons for the specified type.
Definition: FreeCheckers.hpp:78