SRI-CSL / yices2 / 7011635761

66%

push

github

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

5 of 17 new or added lines in 4 files covered. (29.41%)

79300 of 121737 relevant lines covered (65.14%)

1507502.99 hits per line