Repository navigation
It isn't clear from the 'check' target that the check succeeded #141
Description
Describe the bug
It ends with:
Set::RelOp::ConstSSI::Union::Sup::0 ++
Set::RelOp::ConstSSI::Union::Sub::2 ++
Set::RelOp::ConstSSI::Union::Nq::2 ++
Set::RelOp::ConstSSI::Union::Sup::2 ++
Set::Dom::Dom::Gr::2 ++
Suggested solution
It should print: Checks succeeded.
Activity
zayenz commentedon Jan 20, 2022
That's a nice idea, the tests really should print a summary of the run.
zayenz commentedon Oct 22, 2026
Implemented in #252, merged into main for 6.5.0. The test runner now prints a final summary with selected, run, passed, failed, and unrun cases, followed by elapsed time, for both sequential and parallel runs.