Code

Explicit nondet initialisation#35

Code

Closed

tautschnig wants to merge 6 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:explicit-nondet-initialisationtautschnig/cbmc:explicit-nondet-initialisationCopy head branch name to clipboard

Commits

Commits on Dec 21, 2018

• Flattening of ID_nondet_symbol for unbounded arrays

  tautschnig

  committed
  a007615

  Copy full SHA for a007615

• More constant propagation

  Show description for 9d44f13
  tautschnig

  committed
  9d44f13

  Copy full SHA for 9d44f13

• Explicitly initialise non-static objects with non-deterministic values

  tautschnig

  committed
  673e789

  Copy full SHA for 673e789

• Fix for structs and nondet initialisation of pointers

  tautschnig

  committed
  e606e4f

  Copy full SHA for e606e4f

• Non-deterministic initialisation of argc/argv/envp

  tautschnig

  committed
  c5574b6

  Copy full SHA for c5574b6

• clang-format cleanup

  tautschnig

  committed
  efc5608

  Copy full SHA for efc5608