1
82%
master: 81%

Ran 16 Dec 2018 05:03PM UTC

Files 77

Run time 3s

Badge

Committed 16 Dec 2018 05:00PM UTC coverage: 81.691% (+0.9%) from 80.763%

Job # 403.1

Build Type

travis-ci

Committed by

Commit Message

extract motions and predicates

Run Details

550 of 733 branches covered (75.03%)

Branch coverage included in aggregate %.

1199 of 1408 relevant lines covered (85.16%)

52.18 hits per line