Skip to content

Commit bba9f76

Browse files
author
thk123
committed
Remove redundant regression test
Due to no longer creating specalisations for each generic type, the symbol table should no longer create specialisations for each type.
1 parent 3047678 commit bba9f76

File tree

5 files changed

+0
-39
lines changed

5 files changed

+0
-39
lines changed

‎regression/cbmc-java/generics_symtab1/generics$bound_element.class

-892 Bytes
Binary file not shown.

‎regression/cbmc-java/generics_symtab1/generics$element.class

-573 Bytes
Binary file not shown.

‎regression/cbmc-java/generics_symtab1/generics.class

-1.01 KB
Binary file not shown.

‎regression/cbmc-java/generics_symtab1/generics.java

Lines changed: 0 additions & 31 deletions
This file was deleted.

‎regression/cbmc-java/generics_symtab1/test.desc

Lines changed: 0 additions & 8 deletions
This file was deleted.

0 commit comments

Comments
 (0)