SRI-CSL / yices2 / 22552082017

65%

Build Type

push

github

Committed by web-flow

Commit Message

Mcsat unsat core (#578)

* mcsat unsat core

* update test

* test

* boolean labels

* another test

* update doc

* fix mcsat unsat core issue + tests

* fix

* minor

* Refactor MCSAT assumptions-core support into context layer

* Fix MCSAT check-sat-assuming regressions and assumption cleanup

* Add no-mcsat stub for assumption cleanup

---------

Co-authored-by: Stéphane Graham-Lengrand <stephane.graham-lengrand@csl.sri.com>
Co-authored-by: Stephane Graham-Lengrand <stephane.graham-lengrand@sri.com>

Run Details

155 of 202 new or added lines in 5 files covered. (76.73%)

40 existing lines in 2 files now uncovered.

81484 of 124618 relevant lines covered (65.39%)

1708166.98 hits per line