Skip to content

Rework CBMC's solver-time-limit infrastructure#9019

Open
tautschnig wants to merge 3 commits into
diffblue:developfrom
tautschnig:solver-time-limit-foundation
Open

Rework CBMC's solver-time-limit infrastructure#9019
tautschnig wants to merge 3 commits into
diffblue:developfrom
tautschnig:solver-time-limit-foundation

solver: CaDiCaL terminator support for set_time_limit_milliseconds

226e7fb
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-cpplint
succeeded Jun 12, 2026 in 1m 42s