mAarnos / Serkr / 108
96%
master: 96%

LAST BUILD BRANCH: proof-output
DEFAULT BRANCH: master
Ran
Jobs 3
Files 47
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
108

push

travis-ci

mAarnos 
Fixed rewriting incompleteness

We now restrict rewriting in the maximal terms of maximal positive
literals. Might be ever so slightly slower but must be done.

3054 of 3189 relevant lines covered (95.77%)

5.69 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
6
78.0
 0.92% prover/data_structures/clause.rs
Jobs
ID Job ID Ran Files Coverage
1 108.1 47
97.19
 Travis Job 108.1
2 108.2 47
97.19
 Travis Job 108.2
3 108.3 47
95.69
 Travis Job 108.3
Source Files on build 108
Coverage ∆ File Lines Relevant Covered Missed Hits/Line