1
65%
master: 65%

Ran 14 Sep 2024 08:59AM CUT

Files 1696

Run time 40s

Badge

Committed 14 Sep 2024 08:50AM CUT coverage: 66.668%. Remained the same

Build Type

push

github

Committed by

Commit Message

fix mcsat clause rescaling (#530)

Run Details

90080 of 135118 relevant lines covered (66.67%)

1376532.18 hits per line

File	Lines	Relevant	Covered	Missed	Hits/Line
src/context/internalization_table.h	361	4 + 2	0 - 2	4 + 4	0.0 - 1716048
src/frontend/common/bug_report.c	55	17	0	17	0.0
src/context/internalization_codes.h	149	10 + 6	0 - 2	10 + 8	0.0 - 6849
src/api/yval.c	218	73	0	73	0.0
src/context/common_conjuncts.c	290	92	0	92	0.0
src/context/context_utils.h	710	6 - 3	0 - 9	6 + 6	0.0 - 4418
src/api/context_config.h	250	4	0 - 4	4 + 4	0.0 - 1191
src/context/dump_context.c	171	57	0	57	0.0
src/api/yices_error.c	1158	759	0	759	0.0
src/frontend/smt1/smt_lexer.h	154	3	0	3	0.0