Return pointer from expr_try_dynamic_cast#1466

smowton merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

reuk:reuk/return-ptr-from-expr-castreuk/cbmc:reuk/return-ptr-from-expr-castCopy head branch name to clipboard