1
82%
master: 85%

Ran 06 Nov 2019 11:09AM UTC

Files 6

Run time 0s

Badge

Committed 06 Nov 2019 11:09AM UTC coverage: 82.558% (-8.2%) from 90.792%

Build Type

circleci

Committed by Leonardo Alt

Commit Message

Add SMT solver callback to compileStandard

Run Details

135 of 175 branches covered (77.14%)

Branch coverage included in aggregate %.

291 of 341 relevant lines covered (85.34%)

19.46 hits per line