Gecode / Gecode/gecode

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

Aperta
#141 1 commento 0 reazioni 0 assegnatari Vedi su GitHub
feature request
Lingua principale
C++
Stelle
335
Fork
88
Merge medio
1h 28m
PR unite (30g)
1

Descrizione

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

Guida per i contributori

Nessuna guida per i contributori indicizzata per questo repository

Valutazione

Questa issue non è ancora stata valutata.

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.