4792763362
64%
master: 65%

Ran 25 Apr 2023 01:48AM CUT

Jobs 1

Files 471

Run time 13s

Badge

Build Type

push

github

Committed by Ahmed Irfan

Commit Message

fixes #440

Run Details

2 of 2 new or added lines in 1 file covered. (100.0%)

76439 of 119009 relevant lines covered (64.23%)

949385.6 hits per line

ID	Job ID	Ran	Files	Coverage
1	4792763362.1	25 Apr 2023 01:48AM CUT	1615	65.58	GitHub Action Run

File	Lines	Relevant	Missed
src/frontend/yices/yices_help.c	2178	125	125
src/frontend/yices/yices_lexer.h	159	3	3
src/frontend/yices/arith_solver_codes.c	72	7	7
src/frontend/smt1/smt_lexer.h	154	3	3
src/api/yices_error.c	1130	741	741
src/frontend/common/bug_report.c	55	17	17
src/api/yval.c	217	73	73
src/context/dump_context.c	171	57	57
src/context/common_conjuncts.c	290	92	92
src/io/type_printer.c	553	285	285