1
66%
master: 65%

Ran 22 Mar 2024 04:30PM CUT

Files 1625

Run time 57s

Badge

Committed 22 Mar 2024 04:21PM CUT coverage: 66.349% (+0.09%) from 66.259%

Build Type

github

Committed by

Commit Message

more clean up

Run Details

87926 of 132521 relevant lines covered (66.35%)

1359636.52 hits per line

File	Lines	Relevant	Covered	Missed	Hits/Line
src/context/internalization_codes.h	149	10	0	10	0.0
src/frontend/common/bug_report.c	55	17	0	17	0.0
src/context/dump_context.c	171	57	0	57	0.0
src/api/context_config.h	250	4 + 2	0 - 2	4 + 4	0.0 - 11
src/context/common_conjuncts.c	290	92	0	92	0.0
src/context/internalization_table.h	361	4	0	4	0.0
src/api/yval.c	217	73	0	73	0.0
src/context/context_utils.h	710	6 - 42	0 - 10	6 - 32	0.0 - 325
src/api/yices_error.c	1130	741	0	741	0.0
src/frontend/smt1/smt_lexer.h	154	3	0	3	0.0