Code

remove two unused hooks in bmct#2136

Code

Merged

tautschnig merged 2 commits intodevelopdiffblue/cbmc:developfrom

unwind_module_cleanoutdiffblue/cbmc:unwind_module_cleanoutCopy head branch name to clipboard

Apr 29, 2018

Commits

Commits on Apr 28, 2018

• remove do_unwind_module hook

  

  Daniel Kroening

  committed
  b0f7476

  Copy full SHA for b0f7476

• remove bmc_constraints

  

  Daniel Kroening

  committed
  f6a92cc

  Copy full SHA for f6a92cc