Use a specialised endianness map for flattening#2066
Merged
kroening merged 1 commit intodiffblue:developfrom May 20, 2018
Merged
Use a specialised endianness map for flattening#2066kroening merged 1 commit intodiffblue:developfrom
kroening merged 1 commit intodiffblue:developfrom
