jonsterling / racket-grit / 47
89%

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

Pull #26

travis-ci

web-flow 
finish implementing contract for checked rules
Pull Request #26: start defining refinements (#25)

1118 of 1284 relevant lines covered (87.07%)

2.6 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
58
87.76
 0.15% logical-framework.rkt
Jobs
ID Job ID Ran Files Coverage
1 47.1 (RACKET_VERSION=6.8) 6
87.06
 Travis Job 47.1
2 47.2 (RACKET_VERSION=6.9) 6
86.97
 Travis Job 47.2
3 47.3 (RACKET_VERSION=HEAD) 6
86.97
 Travis Job 47.3
Source Files on build 47
Coverage ∆ File Lines Relevant Covered Missed Hits/Line