2
91%
master: 38%

Ran 03 Oct 2016 07:33PM UTC

Files 39

Run time 3s

Badge

Embed ▾

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

Job # RACKET_VERSION=HEAD

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 / 115 / 2
91%
master: 38%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 115.2 (RACKET_VERSION=HEAD)

jsmaniac / phc-adt / 115 / 2 91% master: 38%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 115.2 (RACKET_VERSION=HEAD)

jsmaniac / phc-adt / 115 / 2
91%
master: 38%

README BADGES
x