201
82%

Ran 04 Nov 2019 05:54PM UTC

Jobs 1

Files 18

Run time 2s

Badge

Build # 201

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #26 from hriener/test-case2

Aiger reader: indices tests.

Run Details

1417 of 1610 relevant lines covered (88.01%)

10085.71 hits per line

ID	Job ID	Ran	Files	Coverage
1	201.1 (COMPILER=g++-7 COVERAGE=ON)	04 Nov 2019 05:54PM UTC	18	88.01	Travis Job 201.1