1
65%
master: 65%

Ran 22 Oct 2017 06:15PM UTC

Files 10

Run time 0s

Badge

Committed 22 Oct 2017 06:13PM UTC coverage: 57.592% (-6.1%) from 63.661%

Build Type

push

travis-ci

Committed by

Commit Message

fix: correct the transformation from components to timed automaton

Run Details

220 of 382 relevant lines covered (57.59%)

0.58 hits per line