Code

[TG-3374] Fix generic_type_index#2129

Code

Merged

romainbrenguier merged 9 commits intodiffblue:developdiffblue/cbmc:developfrom romainbrenguier:bugfix/generic_type_indexromainbrenguier/cbmc:bugfix/generic_type_indexCopy head branch name to clipboardMay 3, 2018

+239-27

Commits

Commits on May 3, 2018

• Fix generic_type_index

  Show description for c141611
  romainbrenguier

  committed
  c141611

  Copy full SHA for c141611

• Test for abstract class with two generic arguments

  romainbrenguier

  committed
  b7c9ea1

  Copy full SHA for b7c9ea1

• Unit test java_type_from_string and fix doc

  Show description for 0afbe0f
  romainbrenguier

  committed
  0afbe0f

  Copy full SHA for 0afbe0f

• Move java_generic_symbol_typet definitions to cpp

  romainbrenguier

  committed
  41b3a6a

  Copy full SHA for 41b3a6a

• Unit test for java_generic_symbol_type

  romainbrenguier

  committed
  8f0f780

  Copy full SHA for 8f0f780

• Unit test for generic_type_index

  romainbrenguier

  committed
  4c5144d

  Copy full SHA for 4c5144d

• Add java_types unit tests to Makefile

  romainbrenguier

  committed
  4a6ae9b

  Copy full SHA for 4a6ae9b

• Use get_name in generic_type_index

  romainbrenguier

  committed
  e3f240a

  Copy full SHA for e3f240a

• Add invariant in java_generic_symbol_type

  Show description for 53bc892
  romainbrenguier

  committed
  53bc892

  Copy full SHA for 53bc892