[SV-COMP'18 6/19] Abort on byte_update(pointer)#1995
Merged
tautschnig merged 1 commit intodiffblue:developfrom Apr 4, 2018
Merged
[SV-COMP'18 6/19] Abort on byte_update(pointer)#1995tautschnig merged 1 commit intodiffblue:developfrom
tautschnig merged 1 commit intodiffblue:developfrom
