116
38%

Ran 03 Oct 2016 10:14PM UTC

Jobs 2

Files 39

Run time 2min

Badge

Embed ▾

pending completion

Build # 116

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	116.1 (RACKET_VERSION=6.6)	03 Oct 2016 10:17PM UTC	0	93.11	Travis Job 116.1
2	116.2 (RACKET_VERSION=HEAD)	03 Oct 2016 10:14PM UTC	0	93.11	Travis Job 116.2

Source Files on build 116

Detailed source file information is not available for this build.

jsmaniac / phc-adt / 116
38%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 116

jsmaniac / phc-adt / 116 38%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 116

jsmaniac / phc-adt / 116
38%

README BADGES
x