78
66%
master: 87%

Ran 23 Feb 2019 11:38AM UTC

Jobs 2

Files 27

Run time 4min

Badge

Build # 78

Build Type

push

travis-ci

Committed by

Commit Message

sat/unsat to holds/violated in tests

Run Details

668 of 1048 relevant lines covered (63.74%)

49.08 hits per line

ID	Job ID	Ran	Files	Coverage
2	78.2	23 Feb 2019 11:38AM UTC	27	63.74	Travis Job 78.2
5	78.5	23 Feb 2019 11:42AM UTC	27	83.41	Travis Job 78.5