Build and run tests with Verific (Linux)

write_btor: don't emit undriven bits multiple times #1142

Sign in to view logs

Triggered via pull request October 8, 2024 12:39

opened #4641

georgerennie:george/btor_undriven_wires

Status Success

Total duration 13m 35s

Artifacts –

test-verific.yml

on: pull_request