jonsterling / racket-grit / 63
89%

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

Pull #26

travis-ci

web-flow 
non-working parameterization
Pull Request #26: start defining refinements (#25)

1127 of 1300 relevant lines covered (86.69%)

2.58 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
8
80.45
 -0.61% refiner-demo.rkt
14
94.33
 -2.22% refinement-engine.rkt
23
70.04
 -0.18% ctt.rkt
58
87.76
 0.15% logical-framework.rkt
Jobs
ID Job ID Ran Files Coverage
1 63.1 (RACKET_VERSION=6.8) 6
86.68
 Travis Job 63.1
2 63.2 (RACKET_VERSION=6.9) 6
86.59
 Travis Job 63.2
3 63.3 (RACKET_VERSION=HEAD) 6
86.59
 Travis Job 63.3
Source Files on build 63
Coverage ∆ File Lines Relevant Covered Missed Hits/Line