Code

Work around G++ 8 warnings#2353

Code

Merged

kroening merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:g++8-fixes2tautschnig/cbmc:g++8-fixes2Copy head branch name to clipboard

Jun 20, 2018

Commits

Commits on Jun 20, 2018

• Unit test framwork: use references when catching exceptions

  Show description for 6cd6d31
  tautschnig

  committed
  6cd6d31

  Copy full SHA for 6cd6d31

• Silence GCC 8's warning about using realloc/memmove on non-POD

  tautschnig

  committed
  961b29a

  Copy full SHA for 961b29a