1
38%
master: 38%

Ran 03 Oct 2016 10:17PM UTC

Files 39

Run time 5s

Badge

Embed ▾

Committed 03 Oct 2016 07:08PM UTC coverage: 93.114% (+0.009%) from 93.105%

Job # RACKET_VERSION=6.6

Build Type

push

travis-ci

Committed by

jsmaniac

Commit Message

Provide all identifiers directly from phc-adt/main.rkt, and make sure that set-adt-context was called each time the list of remembered identifiers is read in some way (remembered?, remembered-or-written? or get-remembered).

Run Details

4016 of 4313 relevant lines covered (93.11%)

0.93 hits per line

jsmaniac / phc-adt / 116 / 1
38%
master: 38%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 116.1 (RACKET_VERSION=6.6)

jsmaniac / phc-adt / 116 / 1 38% master: 38%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 116.1 (RACKET_VERSION=6.6)

jsmaniac / phc-adt / 116 / 1
38%
master: 38%

README BADGES
x