search

Gecode / gecode

Generic Constraint Development Environment
https://www.gecode.org
Other
275 stars 76 forks source link

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

Open yurivict opened 2 years ago

yurivict commented 2 years ago

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 commented 2 years ago

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