Cleanup throws in irep (de)serialization#2960

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

hannes-steffenhagen-diffblue:invariant_clean-irep_serializationhannes-steffenhagen-diffblue/cbmc:invariant_clean-irep_serializationCopy head branch name to clipboard