1
30%
master: 30%

Ran 10 Oct 2020 12:03AM UTC

Files 347

Run time 51s

Badge

Committed 09 Oct 2020 11:57PM UTC coverage: 32.614%. Remained the same

Build Type

push

travis-ci

Committed by

Commit Message

update list of built ins for filtering (#1511)

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

Coverage Stats

737 of 2799 branches covered (26.33%)

Branch coverage included in aggregate %.

2270 of 6421 relevant lines covered (35.35%)

12.04 hits per line