Code

Added test generation stubs.#108

Code

Closed

pkesseli wants to merge 4 commits intodiffblue:masterdiffblue/cbmc:masterfrom

pkesseli-archive:gen_java_testcase_fixpkesseli-archive/cbmc-legacy:gen_java_testcase_fixCopy head branch name to clipboard

Commits

Commits on Jun 21, 2016

• Added test generation stubs.

  Show description for 84bb1b5
  

  pkesseli

  committed
  84bb1b5

  Copy full SHA for 84bb1b5

• Added full test generation example.

  

  pkesseli

  committed
  5a13c69

  Copy full SHA for 5a13c69

• Added nested object support.

  

  pkesseli

  committed
  1c3728b

  Copy full SHA for 1c3728b

• Updated handling of nested structs.

  

  pkesseli

  committed
  f77b1bb

  Copy full SHA for f77b1bb