644
81%

Ran 14 Jun 2018 12:13AM UTC

Jobs 1

Files 88

Run time 9s

Badge

Embed ▾

pending completion

Build # 644

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

Jobs

ID	Job ID	Ran	Files	Coverage
1	644.1	14 Jun 2018 12:13AM UTC	0	86.49	Travis Job 644.1

Source Files on build 644

Detailed source file information is not available for this build.

Robbepop / stevia / 644
81%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 644

Robbepop / stevia / 644 81%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 644

Robbepop / stevia / 644
81%

README BADGES
x