1
99%
master: 99%

Ran 07 Aug 2020 04:37AM UTC

Files 102

Run time 9s

Badge

Committed 07 Aug 2020 04:33AM UTC coverage: 96.833% (-0.05%) from 96.879%

Job # 351.1

Build Type

push

travis-ci

Committed by Vincent Russo

Commit Message

Consolidating conclusive_state_exclusion and unambiguous_state_exclusion

Run Details

869 of 907 branches covered (95.81%)

Branch coverage included in aggregate %.

1852 of 1903 relevant lines covered (97.32%)

0.97 hits per line