105
96%

Ran 13 Oct 2016 10:48PM UTC

Jobs 3

Files 47

Run time 32s

Badge

Build # 105

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #21 from mAarnos/indexing

Added perfect discrimination trees

Run Details

2973 of 3108 relevant lines covered (95.66%)

5.67 hits per line

Lines	Coverage	File
1	100.0	prover/unification/substitution.rs
1	100.0	cnf/standard_skolemization.rs
1	100.0	cnf/free_variables.rs
1	100.0	prover/simplification/equality_subsumption.rs
1	100.0	prover/ordering/term_ordering.rs
1	100.0	tptp_parser/parser.rs
1	100.0	cnf/standard_cnf.rs
1	100.0	prover/proof_result.rs
2	100.0	cnf/distribute_ors_over_ands.rs
2	100.0	prover/problem_analysis/determine_term_ordering.rs
2	100.0	prover/clause_selection/clause_weight.rs
2	100.0	cnf/simplify.rs
2	100.0	prover/proof_statistics.rs
2	100.0	cnf/ast_transformer.rs
3	100.0	prover/data_structures/literal.rs
3	100.0	prover/proof_search.rs
4	100.0	prover/flatten_cnf.rs
5	100.0	cnf/formula_renaming.rs
8	100.0	prover/data_structures/clause.rs
16	100.0	prover/data_structures/term.rs
24	100.0	main.rs

ID	Job ID	Ran	Coverage
1	105.1	13 Oct 2016 10:48PM UTC	97.11	Travis Job 105.1
2	105.2	13 Oct 2016 10:48PM UTC	97.11	Travis Job 105.2
3	105.3	13 Oct 2016 10:48PM UTC	95.58	Travis Job 105.3

Detailed source file information is not available for this build.