5
63%
master: 65%

Ran 24 Mar 2020 08:57PM CUT

Files 444

Run time 1min

Badge

Committed 24 Mar 2020 07:41PM CUT coverage: 62.556%. First build

Build Type

push

travis-ci

Committed by

Commit Message

Doc fixes and updates

Run Details

68593 of 109651 relevant lines covered (62.56%)

1390672.8 hits per line

File	Lines	Relevant	Missed
src/frontend/smt1/smt_lexer.h	153	3	3
src/frontend/yices/arith_solver_codes.c	71	7	7
src/frontend/common/bug_report.c	54	17	17
src/frontend/common/assumption_table.c	204	80	80
src/api/yices_error.c	999	465	465
src/frontend/common/assumptions_and_core.c	113	38	38
src/api/yval.c	216	73	73
src/context/dump_context.c	170	57	57
src/context/common_conjuncts.c	289	92	92
src/frontend/yices/yices_help.c	2177	125	125