Code

Replace cout/cerr in solvers#1875

Code

Merged

peterschrammel merged 7 commits intodiffblue:developdiffblue/cbmc:developfrom

peterschrammel:remove-cout-solverspeterschrammel/cbmc:remove-cout-solversCopy head branch name to clipboard

Mar 8, 2018

Commits

Commits on Mar 7, 2018

• Use invariant instead if printing error message to cout

  peterschrammel

  committed
  fc44d99

  Copy full SHA for fc44d99

• Replace assert by invariant

  peterschrammel

  committed
  f7afe1f

  Copy full SHA for f7afe1f

• Clang-format

  peterschrammel

  committed
  2529211

  Copy full SHA for 2529211

• Clean up commented out code

  peterschrammel

  committed
  7018ab4

  Copy full SHA for 7018ab4

• Use ranged for and const

  peterschrammel

  committed
  aaf9477

  Copy full SHA for aaf9477

Commits on Mar 8, 2018

• Use invariant instead of printing error message to cerr

  peterschrammel

  committed
  fe40b19

  Copy full SHA for fe40b19

• Use invariant instead of abort()

  peterschrammel

  committed
  26ef31c

  Copy full SHA for 26ef31c