1
81%
master: 81%

Ran 14 Jun 2018 12:13AM UTC

Files 88

Run time 7s

Badge

Embed ▾

Committed 14 Jun 2018 12:08AM UTC coverage: 86.495% (+0.02%) from 86.479%

Job # 644.1

Build Type

push

travis-ci

Committed by

Robbepop

Commit Message

refactor(Parser): split Parser into Parser and ParserDriver

The ParserDriver contains the Parser for pure parsing and has a &mut to the underlying Solver for command forwarding.
This way the Parser can be used in other contexts as well, e.g. in the PropLitIter.

Coverage Stats

8710 of 10070 relevant lines covered (86.49%)

0.86 hits per line

Robbepop / stevia / 644 / 1
81%
master: 81%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 644.1

Robbepop / stevia / 644 / 1 81% master: 81%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 644.1

Robbepop / stevia / 644 / 1
81%
master: 81%

README BADGES
x