1
0%
develop: 0%

Ran 27 Jan 2016 10:38PM UTC

Files 27

Run time 1s

Badge

Committed 27 Jan 2016 10:38PM UTC coverage: 96.986% (-0.1%) from 97.13%

Build Type

push

travis-ci

Committed by

Commit Message

Implement lazy modules in MOCUS

Thanks to the facilities of ZBDD,
MOCUS can get lazy modules for free.
Logging is fixed for MOCUS.

Run Details

5728 of 5906 relevant lines covered (96.99%)

6475.49 hits per line