Gecode / Gecode/gecode

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

Open
#141 1 comment 0 reactions 0 assignees View on GitHub
feature request
Dominant language
C++
Stars
335
Forks
88
Avg merge
1h 28m
Merged PRs (30d)
1

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```.

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.