Skip to content
Legacy compilers

CBMC: Add CaDiCaL SAT profile #1229

Sign in to view logs

CBMC: Add CaDiCaL SAT profile

CBMC: Add CaDiCaL SAT profile #1229

Triggered via pull request October 25, 2026 17:49
@hanno-beckerhanno-becker
synchronize #1492
cbmc-cadical-proofs
Status Skipped
Total duration 1s
Artifacts –

legacy-compilers.yml

on: pull_request
Matrix: check-ct-varlat-legacy
Matrix: compiler_tests_linux
Matrix: compiler_tests_macos
Matrix: compiler_tests_windows_mingw
Fit to window
Zoom out
Zoom in