Use defined(...) when testing for defined-ness of macros#2399
Merged
kroening merged 1 commit intodiffblue:developfrom Jun 23, 2018
Merged
Use defined(...) when testing for defined-ness of macros#2399kroening merged 1 commit intodiffblue:developfrom
kroening merged 1 commit intodiffblue:developfrom
