mAarnos / Serkr / 105
96%

DEFAULT BRANCH: master
Ran
Jobs 3
Files 47
Run time 32s
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
105

push

travis-ci

web-flow 
Merge pull request #21 from mAarnos/indexing

Added perfect discrimination trees

2973 of 3108 relevant lines covered (95.66%)

5.67 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
1
93.75
 -6.25% prover/unification/substitution.rs
1
91.67
 -0.64% cnf/standard_skolemization.rs
1
98.75
 2.55% cnf/free_variables.rs
1
96.77
 -3.23% prover/simplification/equality_subsumption.rs
1
98.46
 -0.05% prover/ordering/term_ordering.rs
1
96.53
 1.0% tptp_parser/parser.rs
1
96.43
 -3.57% cnf/standard_cnf.rs
1
80.0
 -3.33% prover/proof_result.rs
2
90.91
 -9.09% cnf/distribute_ors_over_ands.rs
2
95.12
 -2.25% prover/problem_analysis/determine_term_ordering.rs
2
86.67
 0.0% prover/clause_selection/clause_weight.rs
2
98.63
 1.31% cnf/simplify.rs
2
96.3
 -3.7% prover/proof_statistics.rs
2
87.74
 0.96% cnf/ast_transformer.rs
3
86.0
 -0.67% prover/data_structures/literal.rs
3
99.26
 -0.15% prover/proof_search.rs
4
90.7
 -9.3% prover/flatten_cnf.rs
5
96.55
 1.81% cnf/formula_renaming.rs
8
77.08
 -6.85% prover/data_structures/clause.rs
16
82.02
 -4.12% prover/data_structures/term.rs
24
4.0
 -96.0% main.rs
Jobs
ID Job ID Ran Files Coverage
1 105.1 47
97.11
 Travis Job 105.1
2 105.2 47
97.11
 Travis Job 105.2
3 105.3 47
95.58
 Travis Job 105.3
Source Files on build 105
Coverage ∆ File Lines Relevant Covered Missed Hits/Line