Skip to content
Build and run tests

write_btor: Include $assert and $assume cells in -ywmap output #116

Sign in to view logs

write_btor: Include $assert and $assume cells in -ywmap output

write_btor: Include $assert and $assume cells in -ywmap output #116

Triggered via pull request May 23, 2024 15:42
@KrystalDelusionKrystalDelusion
synchronize #4320
ywb_asserts
Status Success
Total duration 18s
Artifacts –

test-build.yml

on: pull_request
pre_docs_job
6s
pre_docs_job
pre_job
4s
pre_job
Matrix: Reusable build
Matrix: Run docs tests
Matrix: Run tests
Fit to window
Zoom out
Zoom in