492
63%
master: 66%

Ran 23 Jan 2019 05:34PM UTC

Jobs 1

Files 408

Run time 33s

Badge

Build # 492

Build Type

travis-ci

Committed by

Commit Message

fishy stuff with slices, see question in commit. i assume that slices sholdn't contain equalities that are trivially true.

Run Details

536 of 536 new or added lines in 7 files covered. (100.0%)

63649 of 95598 relevant lines covered (66.58%)

1245928.45 hits per line

Lines	Coverage	File
3	86.16	src/mcsat/bv/bv_plugin.c
6	71.01	src/mcsat/eq/equality_graph.c
31	75.8	src/mcsat/bv/bv_explainer.c
99	72.73	src/mcsat/bv/bv_slicing.c

ID	Job ID	Ran	Files	Coverage
1	492.1	23 Jan 2019 05:34PM UTC	408	66.58	Travis Job 492.1