1
69%
master: 69%

Ran 08 Mar 2026 03:52AM UTC

Files 486

Run time 11s

Badge

Embed ▾

Committed 08 Mar 2026 03:43AM UTC coverage: 66.485% (+0.07%) from 66.414%

Job # 22813214720.1

Build Type

push

github

Committed by

web-flow

Commit Message

Fix #608 bug: MCSAT + Thread-Safe Lock Recursion and Add API Regressions (#609)

* Fix MCSAT assumption lock recursion and add API unsat-core test

* Fix MCSAT trace checks to avoid lock re-entry

* Fix assumptions lock reentry in CDCL(T) and add regression test

* Fix redundant _o_assert_formula declaration in CI builds

* tests/api: make lock-reentry watchdog portable on windows

* ci: add mcsat+thread-safety matrix coverage across platforms

Coverage Stats

82974 of 124802 relevant lines covered (66.48%)

1706567.46 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 22813214720.1

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 22813214720.1

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

README BADGES
x