Code

Cleanup message handler#2747

Code

Merged

kroening merged 2 commits intodevelopdiffblue/cbmc:developfrom

cleanup-message-handlerdiffblue/cbmc:cleanup-message-handlerCopy head branch name to clipboard

Aug 16, 2018

Commits

Commits on Aug 16, 2018

• use size_t for message counts

  

  Daniel Kroening

  committed
  4557374

  Copy full SHA for 4557374

• remove sequence number from message_handler interface

  

  Daniel Kroening

  committed
  0d8ea2c

  Copy full SHA for 0d8ea2c