1
69%
master: 69%

Ran 01 Mar 2026 08:45PM UTC

Files 486

Run time 12s

Badge

Embed ▾

Committed 01 Mar 2026 08:35PM UTC coverage: 65.387% (+0.07%) from 65.317%

Job # 22552082017.1

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>

Coverage Stats

81484 of 124618 relevant lines covered (65.39%)

1708166.98 hits per line

SRI-CSL / yices2 / 22552082017 / 1
69%
master: 69%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 22552082017.1

SRI-CSL / yices2 / 22552082017 / 1 69% master: 69%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 22552082017.1

SRI-CSL / yices2 / 22552082017 / 1
69%
master: 69%

README BADGES
x