[TG-3067] Support generic type parameters that create recursion loops in instantiation stack - #2239

[TG-3067] Support generic type parameters that create recursion loops in instantiation stack#2239

mgudemann merged 15 commits into

diffblue:developdiffblue/cbmc:developfrom

mgudemann:bugfix/generics/fix_infinite_recursionmgudemann/cbmc:bugfix/generics/fix_infinite_recursionCopy head branch name to clipboard