Test has_subtype on recursive data types#2084

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:has_subtype-testtautschnig/cbmc:has_subtype-testCopy head branch name to clipboard