Extend expr_initializer to support byte-wise initialization#7392

Merged

tautschnig merged 5 commits intodiffblue:developfrom

peterschrammel:per-byte-initializer

Aug 1, 2023

Commits on Jul 30, 2023

Refactor expr_initializer to take initialization expression

peterschrammel
authored and
Enrico Steffinlongo
committed
Extend expr_initializer to support byte-wise initialization

peterschrammel
authored and
Enrico Steffinlongo
committed

Commits on Jul 31, 2023

Improved checks and fixed duplicate_per_byte
Enrico Steffinlongo
committed
Added tests for duplicate_per_byte in the BV case
Enrico Steffinlongo
committed
Test for zero_initializer and expr_initializer
Enrico Steffinlongo
committed