Skip to content
Build and run tests (macOS)

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

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 #3239

Triggered via pull request April 6, 2024 00:11
@KrystalDelusionKrystalDelusion
opened #4320
ywb_asserts
Status Success
Total duration 22m 4s
Artifacts –

test-macos.yml

on: pull_request
Matrix: test-macos
Fit to window
Zoom out
Zoom in