jonsterling / racket-grit / 49
89%

DEFAULT BRANCH: master
Ran
Jobs 3
Files 6
Run time 1min
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
49

Pull #26

travis-ci

web-flow 
use 'checked rules' in CTT example
Pull Request #26: start defining refinements (#25)

1119 of 1286 relevant lines covered (87.01%)

2.59 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
8
96.57
 0.01% refinement-engine.rkt
8
80.45
 -0.61% refiner-demo.rkt
23
70.04
 -0.18% ctt.rkt
58
87.76
 0.15% logical-framework.rkt
Jobs
ID Job ID Ran Files Coverage
1 49.1 (RACKET_VERSION=6.8) 6
87.0
 Travis Job 49.1
2 49.2 (RACKET_VERSION=6.9) 6
86.91
 Travis Job 49.2
3 49.3 (RACKET_VERSION=HEAD) 6
86.91
 Travis Job 49.3
Source Files on build 49
Coverage ∆ File Lines Relevant Covered Missed Hits/Line