115
91%
master: 38%

Ran 03 Oct 2016 07:29PM UTC

Jobs 2

Files 39

Run time 4min

Badge

Embed ▾

pending completion

Build # 115

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%)

1.86 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	115.1 (RACKET_VERSION=6.6)	03 Oct 2016 07:29PM UTC	0	93.11	Travis Job 115.1
2	115.2 (RACKET_VERSION=HEAD)	03 Oct 2016 07:33PM UTC	0	93.11	Travis Job 115.2

Source Files on build 115

Detailed source file information is not available for this build.

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 115

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 115

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

README BADGES
x