[TG-2453] catch unsupported generics exception - #1838

[TG-2453] catch unsupported generics exception#1838

mgudemann merged 3 commits into

diffblue:developdiffblue/cbmc:developfrom

mgudemann:bugfix/catch_unsupported_generics_exceptionmgudemann/cbmc:bugfix/catch_unsupported_generics_exceptionCopy head branch name to clipboard