1
90%
master: 90%

Ran 21 Nov 2017 06:21AM UTC

Files 4

Run time 0s

Badge

Embed ▾

Committed 21 Nov 2017 06:09AM UTC coverage: 95.172% (+0.009%) from 95.163%

Job # 14.1

Build Type

push

travis-ci

Committed by

tschijnmo

Commit Message

Add statistics output for optimizer tentatively

An argument can now be passed to be filled with some statistics about
the execution of the optimizer.  Currently only the number of nodes
traversed is dumped.

Run Details

1577 of 1657 relevant lines covered (95.17%)

0.95 hits per line

tschijnmo / gristmill / 14 / 1
90%
master: 90%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 14.1

tschijnmo / gristmill / 14 / 1 90% master: 90%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 14.1

tschijnmo / gristmill / 14 / 1
90%
master: 90%

README BADGES
x