Code

[develop->master] Array debugging#1266

Code

Merged

kroening merged 3 commits intodiffblue:masterdiffblue/cbmc:masterfrom

tautschnig:array-debuggingtautschnig/cbmc:array-debuggingCopy head branch name to clipboard

Aug 23, 2017

Commits

Commits on Aug 23, 2017

• Replace std::cout for errors with messaget::error()

  Show description for ee4f6a0
  

  smowton

  authored and

  tautschnig

  committed
  ee4f6a0

  Copy full SHA for ee4f6a0

• flattening/arrays.cpp: replace throw and assert with invariants

  

  smowton

  authored and

  tautschnig

  committed
  e728d01

  Copy full SHA for e728d01

• Use iostream for debugging only

  tautschnig

  committed
  b3cd67a

  Copy full SHA for b3cd67a