25307519190
67%

Ran 04 May 2026 08:02AM UTC

Jobs 1

Files 486

Run time 1min

Badge

Embed ▾

Committed 04 May 2026 07:53AM UTC coverage: 66.687%. Remained the same

Build # 25307519190

Build Type

push

github

Committed by

web-flow

Commit Message

portfolio: fix sat/unsat detection, race conditions, and path resolution (#622)

Substring matching ("sat" in stdout) produced false positives whenever
yices emitted an error message containing "mcsat" -- e.g. reporting SAT
on unsupported quantified problems. Switch to exact line-set membership
so only a bare sat/unsat SMT-LIB response token matches.

Fix two concurrency bugs: concurrent appends and iteration over
self.processes without a lock could raise RuntimeError; the solution
setter's check-then-set was not atomic, allowing two threads to both
commit a result. Guard both with a threading.Lock.

Fix --mcsat-l2o generating one extra config (num_configs+1 instead of
num_configs) by computing n_fixed from the actual fixed-config list.

Fix --yices path resolution to try shutil.which() before falling back
to the script directory, so a binary on $PATH can be used by name.

Simplify: flatten ConfigGenerator class to a function, replace the
property/setter with try_set_solution(), use a module-level
_active_solver instead of attaching state to the signal handler
function, and drop the unreachable subprocess kill in run_yices finally.

Coverage Stats

83456 of 125146 relevant lines covered (66.69%)

1645063.18 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	25307519190.1	04 May 2026 08:02AM UTC	486	66.69	GitHub Action Run

SRI-CSL / yices2 / 25307519190
67%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 25307519190

SRI-CSL / yices2 / 25307519190 67%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 25307519190

SRI-CSL / yices2 / 25307519190
67%

README BADGES
x