1
65%
master: 65%

Ran 27 Nov 2023 11:00PM CUT

Files 1615

Run time 34s

Badge

Embed ▾

Committed 27 Nov 2023 10:52PM CUT coverage: 65.749% (-0.003%) from 65.752%

Job # 7011635761.1

Build Type

push

github

Committed by

web-flow

Commit Message

Mcsat api var order (#478)

* moving var_order vector from mcsat_options to context

* new api method for setting variable order

* mcsat-set-var-order test

* minor

* fix registration-queue error in mcsat-model-hint

* fix warnings

* enable Werror in CI

* one more warning fix

* Update test_model_hint.c

* check good vars

* api text -- to be checked with sphinx, which is not running with brew

* add more info in the doc

Run Details

86767 of 131967 relevant lines covered (65.75%)

1390642.29 hits per line

Source Files on job 7011635761.1

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

65.75
src/

SRI-CSL / yices2 / 7011635761 / 1
65%
master: 65%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 7011635761.1

SRI-CSL / yices2 / 7011635761 / 1 65% master: 65%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 7011635761.1

SRI-CSL / yices2 / 7011635761 / 1
65%
master: 65%

README BADGES
x