1
67%
master: 65%

Ran 18 May 2018 06:23PM CUT

Files 381

Run time 34s

Badge

Committed 18 May 2018 06:16PM CUT coverage: 66.993% (+0.1%) from 66.897%

Job # 262.1

Build Type

push

travis-ci

Committed by

Commit Message

Fixes/updates to the incremental solver from the mcsat-bv branch.

Run Details

60084 of 89687 relevant lines covered (66.99%)

1246114.87 hits per line

Show entries

Search:

File	Lines	Relevant	Covered	Missed	Hits/Line
src/frontend/yices/yices_lexer.h	156 + 76	3 - 38	0 - 40	3 + 2	0.0 - 240
src/io/term_printer.c	2720 + 2685	1286 + 1270	0 - 15	1286 + 1285	0.0 - 60
src/frontend/yices/yices_help.c	2119 + 2115	125 + 122	0 - 3	125 + 125	0.0 - 1.0
src/frontend/yices/arith_solver_codes.c	71 - 30	7 - 41	0 - 48	7 + 7	0.0 - 37
src/api/yices_error.c	983 + 974	457 + 452	0 - 5	457 + 457	0.0 - 1.0
src/api/yval.c	216 + 93	73 + 46	0 - 25	73 + 71	0.0 - 4
src/context/common_conjuncts.c	289 + 246	92 + 68	0 - 24	92 + 92	0.0 - 1.0
src/frontend/smt1/smt_lexer.h	153 + 113	3 - 22	0 - 25	3 + 3	0.0 - 3
src/context/dump_context.c	170 + 151	57 + 49	0 - 8	57 + 57	0.0 - 1.0
src/mcsat/tracing.c	123 - 97	56 - 43	0 - 89	56 + 46	0.0 - 18

Showing 1 to 10 of 381 entries