Code

Unit test cleanup #1534

Code

Merged

thk123 merged 22 commits intodiffblue:developdiffblue/cbmc:developfrom

majakusber:unit-test-cleanupmajakusber/cbmc:unit-test-cleanupCopy head branch name to clipboard

Nov 6, 2017

Commits

Commits on Nov 6, 2017

• Renaming java files

  

  svorenova

  committed
  af3efea

  Copy full SHA for af3efea

• Cleaning existing unit tests

  

  svorenova

  committed
  707ebf6

  Copy full SHA for 707ebf6

• Adding a utility for checking java generic class

  

  svorenova

  committed
  d3ff11c

  Copy full SHA for d3ff11c

• Breaking the old parse_generic_class into two unit tests

  Show description for c5b06e6
  

  svorenova

  committed
  c5b06e6

  Copy full SHA for c5b06e6

• Renaming unit test for generic inner classes to bounded generic inner classes

  

  svorenova

  committed
  2e2e34b

  Copy full SHA for 2e2e34b

• Extending and cleaning test for generic class with generic inner classes

  

  svorenova

  committed
  80be2fd

  Copy full SHA for 80be2fd

• Extending test for signature/descriptor mismatch

  

  svorenova

  committed
  3e6cf35

  Copy full SHA for 3e6cf35

• Extending test for generic functions

  

  svorenova

  committed
  89b99ce

  Copy full SHA for 89b99ce

• Extending test for generic class

  

  svorenova

  committed
  9db9947

  Copy full SHA for 9db9947

• Adding unit test for functions with generics

  

  svorenova

  committed
  c9a3716

  Copy full SHA for c9a3716

• Adding unit test for nested generics

  

  svorenova

  committed
  de97e23

  Copy full SHA for de97e23

• Extending test for generic arrays

  

  svorenova

  committed
  2883bb1

  Copy full SHA for 2883bb1

• Cleaning includes, unifying scenario names, adding JIRA references

  

  svorenova

  committed
  d9d9ea1

  Copy full SHA for d9d9ea1

• Updating utility functions to check generic/non-generic java classes

  

  svorenova

  committed
  e908f0c

  Copy full SHA for e908f0c

• Applying new function for accessing elements of arrays

  

  svorenova

  committed
  c1e1ba2

  Copy full SHA for c1e1ba2

• Refactoring unit test utility functions to make them easier to use

  

  svorenova

  committed
  cce7814

  Copy full SHA for cce7814

• Applying new utility functions for generics

  

  svorenova

  committed
  398c88a

  Copy full SHA for 398c88a

• Adding unit test for generic fields

  

  svorenova

  committed
  1fa8e2f

  Copy full SHA for 1fa8e2f

• Adding JIRA tickets cont.

  

  svorenova

  committed
  f5ec45a

  Copy full SHA for f5ec45a

• Extending test for derived generics

  

  svorenova

  committed
  e3019f2

  Copy full SHA for e3019f2

• Disabling part of unit test due to a bug

  

  svorenova

  committed
  03438bb

  Copy full SHA for 03438bb

• Deleting a utility function for generics

  Show description for 51cbfc9
  

  svorenova

  committed
  51cbfc9

  Copy full SHA for 51cbfc9