Commit bba9f76
thk123
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- regression/cbmc-java/generics_symtab1
5 files changed
+0
-39
lines changedBinary file not shown.
Binary file not shown.
Binary file not shown.
This file was deleted.
This file was deleted.
0 commit comments