Do not (unnecessarily) require preprocessing for fixed 32/64 bit regression tests#2529

Merged

kroening merged 1 commit intodiffblue:developfrom

tautschnig:debian1

Jul 28, 2018

Commits on Jul 9, 2018

Do not (unnecessarily) require preprocessing for fixed 32/64 bit regression tests
tautschnig
committed