Code

Java nondet test gen support#607

Code

Closed

reuk wants to merge 39 commits intodiffblue:test-gen-supportdiffblue/cbmc:test-gen-supportfrom

reuk:java-nondet-test-gen-supportreuk/cbmc:java-nondet-test-gen-supportCopy head branch name to clipboard

Commits

Commits on Mar 6, 2017

• Add nondet methods to CProver class

  reuk

  committed
  08e3146

  Copy full SHA for 08e3146

• Add nondet regression test cases

  reuk

  committed
  0493249

  Copy full SHA for 0493249

• Add stubs to select nondet methods in java code

  reuk

  committed
  a632f46

  Copy full SHA for a632f46

• Add asserts and rebuild java regression classes

  reuk

  committed
  496d0b7

  Copy full SHA for 496d0b7

• Add test descriptors for new tests

  reuk

  committed
  c4ef939

  Copy full SHA for c4ef939

• Add support for 'primitive' nondet methods

  Show description for a0b2d04
  reuk

  committed
  a0b2d04

  Copy full SHA for a0b2d04

• Add testcase for generic nondet

  Show description for d8f68bb
  reuk

  committed
  d8f68bb

  Copy full SHA for d8f68bb

• Add support for generic nondet

  Show description for 9a992af
  reuk

  committed
  9a992af

  Copy full SHA for 9a992af

• Add 'assignment' test cases for generic nondet

  reuk

  committed
  f97cf4f

  Copy full SHA for f97cf4f

• Fix object_factory issues with java.lang.Object

  reuk

  committed
  943ba3f

  Copy full SHA for 943ba3f

• Update test.desc for no-assignment generic nondet

  reuk

  committed
  caa8622

  Copy full SHA for caa8622

• Add generic recursive testcase

  Show description for 755773f
  reuk

  committed
  755773f

  Copy full SHA for 755773f

• Replace object_factory with non-recursive nondet

  reuk

  committed
  e3e7a91

  Copy full SHA for e3e7a91

• Remove mistakenly-added txt file

  reuk

  committed
  d53bab8

  Copy full SHA for d53bab8

• Add nondet recursive expansion to typecheck_expr

  Show description for fe49f1d
  reuk

  committed
  fe49f1d

  Copy full SHA for fe49f1d

• Use correct max_nondet_array_length

  reuk

  committed
  ca39c44

  Copy full SHA for ca39c44

• Update cprover class to allow null/non-null nondet

  Show description for 4aaeea0
  reuk

  committed
  4aaeea0

  Copy full SHA for 4aaeea0

• Support both null and non-null nondet objects

  reuk

  committed
  1496ca1

  Copy full SHA for 1496ca1

• Add cerr DEBUG output during typecheck

  reuk

  committed
  652c204

  Copy full SHA for 652c204

• Add nondetGenericRecursive2 test

  reuk

  committed
  3cde102

  Copy full SHA for 3cde102

• Change generic nondet to init existing variable

  Show description for c81e06b
  reuk

  committed
  c81e06b

  Copy full SHA for c81e06b

• Add another nondet generic recursive test case

  reuk

  committed
  9f0dc21

  Copy full SHA for 9f0dc21

• Add new internal 'nondet initializer block' type

  Show description for 059ce68
  reuk

  committed
  059ce68

  Copy full SHA for 059ce68

• Add array test

  reuk

  committed
  afc28bf

  Copy full SHA for afc28bf

• Apply formatting based on pull-request feedback

  reuk

  committed
  f9b4448

  Copy full SHA for f9b4448

• Update CProver generic nondet signatures

  reuk

  committed
  cc0c081

  Copy full SHA for cc0c081

• Revert to init-in-place for generic nondet

  reuk

  committed
  6795387

  Copy full SHA for 6795387

• Fix formatting to comply with style guide

  reuk

  committed
  4348e92

  Copy full SHA for 4348e92

• Use classes compiled in debug mode

  reuk

  committed
  a164d48

  Copy full SHA for a164d48

• Revert to better generic nodet signature

  reuk

  committed
  8d46ad1

  Copy full SHA for 8d46ad1

• Remove typechecking following nullable nondet call

  reuk

  committed
  01a5754

  Copy full SHA for 01a5754

• Remove tests using nondetWithoutNull

  Show description for 2b6197d
  reuk

  committed
  2b6197d

  Copy full SHA for 2b6197d

• Remove old, unused 'nondet block' code

  reuk

  committed
  1d307e9

  Copy full SHA for 1d307e9

• Fix build after patching

  reuk

  committed
  96060b1

  Copy full SHA for 96060b1

• Use regex to test nondet method name

  reuk

  committed
  8dd731b

  Copy full SHA for 8dd731b

• Fix breakage introduced during rebase

  reuk

  committed
  2fe55a3

  Copy full SHA for 2fe55a3

Commits on Mar 8, 2017

• Implement style fixes based on feedback

  reuk

  committed
  67697aa

  Copy full SHA for 67697aa

Commits on Mar 10, 2017

• Mark known failing tests as KNOWNBUG

  reuk

  committed
  101a65d

  Copy full SHA for 101a65d

• Fix bug assigning nondetWithNull to Object

  Show description for 8321fa8
  reuk

  committed
  8321fa8

  Copy full SHA for 8321fa8