Code

Refactor graphml witnesses#324

Code

Merged

kroening merged 6 commits intodiffblue:masterdiffblue/cbmc:masterfrom

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

Dec 1, 2016

Commits

Commits on Nov 30, 2016

• Rename graphml-cex to graphml-witness

  peterschrammel

  committed
  fd6a116

  Copy full SHA for fd6a116

• Enable stop-on-fail and trace when graphml-witness is given

  Show description for 6bc68c9
  peterschrammel

  committed
  6bc68c9

  Copy full SHA for 6bc68c9

• Refactored graphml_goto_trace into class graphml_witnesst

  Show description for d5fae9b
  peterschrammel

  committed
  d5fae9b

  Copy full SHA for d5fae9b

• Ranged for

  peterschrammel

  committed
  c4f8212

  Copy full SHA for c4f8212

• Added new graphml keys

  peterschrammel

  committed
  ab8cc8b

  Copy full SHA for ab8cc8b

• Added a test case requiring GraphML witnesses

  Show description for 9bf1e35
  

  tautschnig

  authored and

  peterschrammel

  committed
  9bf1e35

  Copy full SHA for 9bf1e35