Skip to content
Build and run tests with Verific (Linux)

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

Sign in to view logs

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

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

Triggered via pull request October 9, 2024 13:08
@georgerenniegeorgerennie
synchronize #4645
georgerennie:george/btor_undef_array_init
Status Success
Total duration 17m 50s
Artifacts –

test-verific.yml

on: pull_request
pre-job
5s
pre-job
test-verific
13m 28s
test-verific
Fit to window
Zoom out
Zoom in