Use defined(...) when testing for defined-ness of macros#2399

Merged

kroening merged 1 commit intodiffblue:developfrom

tautschnig:vs-defined

Jun 23, 2018

Commits on Jun 23, 2018

Use defined(...) when testing for defined-ness of macros
tautschnig
committed