johnbachman / indra / 1235 / 1
71%
master: 71%

DEFAULT BRANCH: master
Ran
Files 256
Run time 27s
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 65.82% (-0.03%) from 65.848%
1235.1

push

travis-ci

johnbachman 
Add stmts_for_path to model_checker

24554 of 37305 relevant lines covered (65.82%)

0.66 hits per line

Source Files on job 1235.1