3
36%
master: 36%

Ran 24 Sep 2015 12:21AM UTC

Files 887

Run time 28s

Badge

Committed 24 Sep 2015 12:15AM UTC coverage: 66.791% (+0.1%) from 66.684%

Build Type

push

travis-ci

Committed by

Commit Message

* progress on models
* fixing leaks in smt term caches

Run Details

7550 of 11304 relevant lines covered (66.79%)

14322.91 hits per line