[SV-COMP'18 11/19] invalid_object(pointer) is true for all non-existent objects#2000
Closed
tautschnig wants to merge 1 commit intodiffblue:developfrom
Closed
[SV-COMP'18 11/19] invalid_object(pointer) is true for all non-existent objects#2000tautschnig wants to merge 1 commit intodiffblue:developfrom
tautschnig wants to merge 1 commit intodiffblue:developfrom
