1
96%
master: 96%

Ran 06 May 2016 04:30PM UTC

Files 77

Run time 4s

Badge

Embed ▾

Committed 06 May 2016 04:28PM UTC coverage: 95.671%. First build

Job # 242.1

Build Type

push

travis-ci

Committed by

DatenMetzgerX

Commit Message

The cfg node annotation needs to be separate for each analyse run

Instead of annotating the cfg nodes with the type environments,
return the type environments in the infer function. Using the annotation
on the node is problematic in function calls, as multiple function calls
determine the type environment in the exit node.

Run Details

1569 of 1640 relevant lines covered (95.67%)

205.65 hits per line

DatenMetzgerX / ESChecker / 242 / 1
96%
master: 96%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 242.1

DatenMetzgerX / ESChecker / 242 / 1 96% master: 96%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 242.1

DatenMetzgerX / ESChecker / 242 / 1
96%
master: 96%

README BADGES
x