5
63%
master: 65%

Ran 16 Jul 2019 08:07PM UTC

Files 428

Run time 51s

Badge

Committed 16 Jul 2019 07:59PM UTC coverage: 62.885% (+0.02%) from 62.87%

Build Type

push

travis-ci

Committed by

Commit Message

fix: process variables that appear later in uninterpreted terms

Run Details

66590 of 105891 relevant lines covered (62.89%)

1293544.7 hits per line