Code

Remove gen_zero/gen_one#447

Code

Merged

kroening merged 7 commits intodiffblue:masterdiffblue/cbmc:masterfrom

tautschnig:no-gen_zerotautschnig/cbmc:no-gen_zeroCopy head branch name to clipboard

Jan 31, 2017

Commits

Commits on Jan 27, 2017

• Replace gen_zero/gen_one by from_integer where possible

  Show description for 6e36ead
  tautschnig

  committed
  6e36ead

  Copy full SHA for 6e36ead

• Use null_pointer_exprt instead of gen_zero

  tautschnig

  committed
  a22a54a

  Copy full SHA for a22a54a

• zero_initializer without message_handlert

  Show description for 0f95418
  tautschnig

  committed
  0f95418

  Copy full SHA for 0f95418

• Use zero_initializer instead of gen_zero

  Show description for f5ef531
  tautschnig

  committed
  f5ef531

  Copy full SHA for f5ef531

• Added file copyright header as noted by linter

  tautschnig

  committed
  7eae44c

  Copy full SHA for 7eae44c

• cbmc-java: Print details of errors in regression tests

  Show description for cf06f35
  tautschnig

  committed
  cf06f35

  Copy full SHA for cf06f35

• Make from_integer fail an assertion for unsupported types

  Show description for 31ce11f
  tautschnig

  committed
  31ce11f

  Copy full SHA for 31ce11f