jonsterling / racket-grit / 61
89%

DEFAULT BRANCH: master
Ran
Jobs 3
Files 6
Run time 28s
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
61

Pull #26

travis-ci

web-flow 
addressing some feedback, fix a bug
Pull Request #26: start defining refinements (#25)

1116 of 1283 relevant lines covered (86.98%)

2.59 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
8
96.52
 -0.03% 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 61.1 (RACKET_VERSION=6.8) 6
86.97
 Travis Job 61.1
2 61.2 (RACKET_VERSION=6.9) 6
86.88
 Travis Job 61.2
3 61.3 (RACKET_VERSION=HEAD) 6
86.88
 Travis Job 61.3
Source Files on build 61
Coverage ∆ File Lines Relevant Covered Missed Hits/Line