33882713464
71%

Ran 04 Sep 2026 02:27PM UTC

Jobs 1

Files 496

Run time 2min

Badge

Embed ▾

Committed 04 Sep 2026 02:15PM UTC coverage: 71.215% (+0.007%) from 71.208%

Build # 33882713464

Build Type

push

github

Committed by

web-flow

Commit Message

Mcsat bugfixes (#661)

* General fix: made na/ff function static

* Fixed incompatible function pointer at mcsat_evaluator_t.

* Missing `static` in bool_plugin.c and formatting issues.

* Minor fixes.

* Updated `solver_new_variable_notify_t` to include the interface.
Added some `static` and removed dead code.

Coverage Stats

42 of 43 new or added lines in 7 files covered. (97.67%)

95587 of 134223 relevant lines covered (71.22%)

1665118.48 hits per line

Uncovered Changes

Lines	Coverage	∆	File
1	91.65	0.0%	src/mcsat/bool/bool_plugin.c

Jobs

ID	Job ID	Ran	Files	Coverage
1	33882713464.1	04 Sep 2026 02:27PM UTC	496	71.22	GitHub Action Run

SRI-CSL / yices2 / 33882713464
71%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Changes

Jobs

Source Files on build 33882713464

SRI-CSL / yices2 / 33882713464 71%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Changes

Jobs

Source Files on build 33882713464

SRI-CSL / yices2 / 33882713464
71%

README BADGES
x