104
96%

Ran 13 Oct 2016 12:32PM UTC

Jobs 3

Files 47

Run time 59s

Badge

Build # 104

Build Type

travis-ci

Committed by

Commit Message

Fixed an inefficiency with hashing

Probably should have a custom HashMap with Fowler–Noll–Vo instead of
SipHash 2-4

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_cnf.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	tptp_parser/parser.rs
1	100.0	prover/ordering/term_ordering.rs
1	100.0	prover/proof_result.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
2	100.0	prover/problem_analysis/determine_term_ordering.rs
2	100.0	cnf/distribute_ors_over_ands.rs
3	100.0	prover/proof_search.rs
3	100.0	prover/data_structures/literal.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	104.1	13 Oct 2016 12:33PM UTC	97.11	Travis Job 104.1
2	104.2	13 Oct 2016 12:32PM UTC	97.11	Travis Job 104.2
3	104.3	13 Oct 2016 12:33PM UTC	95.58	Travis Job 104.3

Detailed source file information is not available for this build.