1
77%
master: 77%

Ran 26 Jul 2020 09:18PM UTC

Files 83

Run time 4s

Badge

Committed 26 Jul 2020 09:13PM UTC coverage: 83.595% (+0.03%) from 83.562%

Build Type

push

travis-ci

Committed by

Commit Message

Centralize all infinite loop messages (#687)

Co-authored-by: martin-henz <henz@comp.nus.edu.sg>
Co-authored-by: angelsl <angelsl@in04.sg>

Run Details

2480 of 3258 branches covered (76.12%)

Branch coverage included in aggregate %.

6667 of 7684 relevant lines covered (86.76%)

1961830.17 hits per line