971
65%

Ran 18 Sep 2019 11:44AM UTC

Jobs 1

Files 411

Run time 22s

Badge

Build # 971

Build Type

push

travis-ci

Committed by

Commit Message

Try a more general way to detect easy sat problems

Run Details

14 of 14 new or added lines in 2 files covered. (100.0%)

61219 of 99549 relevant lines covered (61.5%)

1194575.25 hits per line

ID	Job ID	Ran	Files	Coverage
1	971.1	18 Sep 2019 11:44AM UTC	0	61.5	Travis Job 971.1

Detailed source file information is not available for this build.