Code

Check symbol table mappings#3187

Code

Merged

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

chrisr-diffblue:check-symbol-table-mappingschrisr-diffblue/cbmc:check-symbol-table-mappingsCopy head branch name to clipboard

Nov 12, 2018

Commits

Commits on Nov 12, 2018

• Add validity checks for symbol table mappings

  chrisr-diffblue

  committed
  0f18b68

  Copy full SHA for 0f18b68