Code

Graphml correctness witnesses#369

Code

Merged

peterschrammel merged 9 commits intodiffblue:masterdiffblue/cbmc:masterfrom

peterschrammel:graphml-correctness-witnessespeterschrammel/cbmc:graphml-correctness-witnessesCopy head branch name to clipboard

Dec 29, 2016

Commits

Commits on Dec 27, 2016

• stub for correctness witness generation

  peterschrammel

  committed
  4542653

  Copy full SHA for 4542653

• Add_node_if_not_exists for graphml

  peterschrammel

  committed
  ab25eea

  Copy full SHA for ab25eea

• Generate nodes for graphml correctness witness

  peterschrammel

  committed
  db1e12d

  Copy full SHA for db1e12d

• generate graph attributes from key value pairs

  peterschrammel

  committed
  1ed64d3

  Copy full SHA for 1ed64d3

• Invariants must be added to nodes

  peterschrammel

  committed
  9b4ce66

  Copy full SHA for 9b4ce66

• Fix bugs in witness output of struct assignments

  Show description for 4156c4f
  

  tautschnig

  authored and

  peterschrammel

  committed
  4156c4f

  Copy full SHA for 4156c4f

• Filter out duplicate source locations in witness

  peterschrammel

  committed
  375a2a8

  Copy full SHA for 375a2a8

• Fix linter warnings

  peterschrammel

  committed
  3679aee

  Copy full SHA for 3679aee

Commits on Dec 28, 2016

• Code formatting in bmc.cpp (using string_utils)

  

  tautschnig

  authored and

  peterschrammel

  committed
  dd2d3b0

  Copy full SHA for dd2d3b0