Build and run tests with Verific (Linux)

write_btor: only initialize array with const value when it is fully def #31

Sign in to view logs

Triggered via push October 9, 2024 13:08

george/btor_undef_array_init

Status Queued

Total duration –

Artifacts –

test-verific.yml

on: push