22813214720
69%

Ran 08 Mar 2026 03:52AM UTC

Jobs 1

Files 486

Run time 1min

Badge

Embed ▾

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

Build # 22813214720

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

23 of 42 new or added lines in 5 files covered. (54.76%)

2 existing lines in 1 file now uncovered.

82974 of 124802 relevant lines covered (66.48%)

1706567.46 hits per line

Uncovered Changes

Lines	Coverage	∆	File
8	78.91	0.0%	src/mcsat/solver.c
4	40.16	1.48%	src/api/yices_api.c
4	72.54	0.89%	src/context/context_solver.c
2	64.76	0.37%	src/mcsat/conflict.c
1	61.65	0.0%	src/mcsat/bv/bv_explainer.c

Coverage Regressions

Lines	Coverage	∆	File
2	78.91	0.0%	src/mcsat/solver.c

Jobs

ID	Job ID	Ran	Files	Coverage
1	22813214720.1	08 Mar 2026 03:52AM UTC	486	66.48	GitHub Action Run

SRI-CSL / yices2 / 22813214720
69%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Changes

Coverage Regressions

Jobs

Source Files on build 22813214720

SRI-CSL / yices2 / 22813214720 69%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Changes

Coverage Regressions

Jobs

Source Files on build 22813214720

SRI-CSL / yices2 / 22813214720
69%

README BADGES
x