Code

make ~solvert virtual#528

Code

Closed

mgudemann wants to merge 2 commits intodiffblue:masterdiffblue/cbmc:masterfrom

mgudemann:fix_solver_mem_leakmgudemann/cbmc:fix_solver_mem_leakCopy head branch name to clipboard

Commits

Commits on Feb 11, 2017

• make ~solvert virtual

  Show description for 6fdd3b9
  

  Matthias Güdemann

  committed
  6fdd3b9

  Copy full SHA for 6fdd3b9

Commits on Feb 12, 2017

• make make ~cbmc_solver_with_propt virtual / remove double free

  Show description for f775927
  

  Matthias Güdemann

  committed
  f775927

  Copy full SHA for f775927