mAarnos / Serkr / 79
96%

DEFAULT BRANCH: master
Ran
Jobs 3
Files 43
Run time 2min
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
79

Pull #17

travis-ci

mAarnos 
Added a cmd line option for renaming limit
Pull Request #17: Implemented formula renaming

2764 of 2886 relevant lines covered (95.77%)

5.01 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
1
97.87
 -0.04% cnf/variable_renaming.rs
2
96.2
 1.4% cnf/free_variables.rs
2
98.28
 0.01% cnf/nnf.rs
3
98.79
 -0.28% prover/proof_search.rs
3
92.31
 -1.81% cnf/standard_skolemization.rs
6
97.32
 0.47% cnf/simplify.rs
8
95.53
 0.08% tptp_parser/parser.rs
15
86.55
 1.37% cnf/ast_transformer.rs
23
72.94
 -27.06% cnf/renaming_info.rs
Jobs
ID Job ID Ran Files Coverage
1 79.1 43
95.63
 Travis Job 79.1
2 79.2 43
95.75
 Travis Job 79.2
3 79.3 42
95.74
 Travis Job 79.3
Source Files on build 79
Coverage ∆ File Lines Relevant Covered Missed Hits/Line