Skip to content

Replace try-catch with nullptr checks#1589

Merged
kroening merged 1 commit intodiffblue:developfrom
reuk:reuk/fewer-exceptions
Nov 14, 2017
Merged

Replace try-catch with nullptr checks#1589
kroening merged 1 commit intodiffblue:developfrom
reuk:reuk/fewer-exceptions

Commits

Commits on Nov 14, 2017