Code

C++: fix virtual table construction#2334

Code

Merged

kroening merged 4 commits intodiffblue:developdiffblue/cbmc:developfrom tautschnig:c++-virtualtautschnig/cbmc:c++-virtualCopy head branch name to clipboardJun 11, 2018

+58-66

Commits

Commits on Jun 11, 2018

• Code cleanup

  Show description for ec5425e
  tautschnig

  committed
  ec5425e

  Copy full SHA for ec5425e

• C++ virtual tables: fix inconsistent string suffixes

  tautschnig

  committed
  a172c34

  Copy full SHA for a172c34

• Cleanup: is_virtual is trivally true in this context

  tautschnig

  committed
  f3550ea

  Copy full SHA for f3550ea

• Fix virtual table construction

  Show description for 4637f87
  tautschnig

  committed
  4637f87

  Copy full SHA for 4637f87