Skip to content
Build and run tests

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

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

This job was skipped