Code

CL message handler#3637

Code

Merged

tautschnig merged 4 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:cl-message-handlertautschnig/cbmc:cl-message-handlerCopy head branch name to clipboard

Jan 3, 2019

Commits

Commits on Jan 3, 2019

• Move gcc_message_handlert to goto-cc folder

  Show description for 705729d
  tautschnig

  committed
  705729d

  Copy full SHA for 705729d

• clang-format gcc_message_handler.{h,cpp}

  Show description for e7508bf
  tautschnig

  committed
  e7508bf

  Copy full SHA for e7508bf

• Add a CL-specific message handler

  Show description for de98413
  tautschnig

  committed
  de98413

  Copy full SHA for de98413

• Test cleanup: do not place pattern on line 3

  Show description for 8edd464
  tautschnig

  committed
  8edd464

  Copy full SHA for 8edd464