1458
66%

Ran 10 Aug 2020 06:31PM UTC

Jobs 2

Files 469

Run time 14min

Badge

Committed 10 Aug 2020 06:21PM UTC coverage: 65.182% (+0.5%) from 64.643%

Build # 1458

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #259 from aman-goel/quantifiers

Quantifiers (ematching)

Run Details

2025 of 2025 new or added lines in 35 files covered. (100.0%)

74670 of 114556 relevant lines covered (65.18%)

1429854.0 hits per line

Lines	Coverage	∆	File
1	77.39	5.53%	src/exists_forall/ef_skolemize.c
2	86.16	3.06%	src/context/internalization_table.c
2	84.73	0.46%	src/solvers/egraph/egraph.c
3	79.49	0.53%	src/solvers/cdcl/smt_core.c
3	95.77		src/solvers/quant/cnstr_learner.c
4	91.67		src/solvers/quant/ematch_instr.c
4	95.24		src/solvers/quant/term_learner.c
8	46.9	-1.61%	src/frontend/common/parameters.c
8	0.0		src/solvers/quant/quant_parameters.c
9	88.61		src/solvers/quant/ematch_instance.c
11	50.75	0.35%	src/frontend/smt2/smt2_commands.c
13	29.11	-0.2%	src/frontend/yices/yices_reval.c
13	82.19		src/solvers/quant/quant_cnstr.c
13	93.93		src/solvers/quant/quant_pattern.c
18	75.34		src/solvers/quant/quant_ematching.c
20	81.02	-0.31%	src/context/context.c
20	37.5		src/solvers/quant/ematch_instr_stack.c
22	39.49	-1.56%	src/frontend/yices_smt2.c
25	51.92		src/utils/uint_learner.c
36	86.94	86.94%	src/solvers/quant/quant_solver.c
52	78.33		src/solvers/quant/ematch_compile.c
61	83.99		src/solvers/quant/ematch_execute.c

Lines	Coverage	∆	File
1	81.02	-0.31%	src/context/context.c
26	59.4	-3.69%	src/solvers/egraph/egraph_explanations.c

ID	Job ID	Ran	Files	Coverage
5	1458.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	10 Aug 2020 06:31PM UTC	469	65.18	Travis Job 1458.5
10	1458.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	10 Aug 2020 06:45PM UTC	0	0.0	Travis Job 1458.10