It isn't clear from the 'check' target that the check succeeded

[yurivict]

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.

[zayenz]

That's a nice idea, the tests really should print a summary of the run.