Code

Minor refactoring in symex_goto#4293

Code

Merged

smowton merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

owen-mc-diffblue:minor-refactoring-in-symex-gotoowen-mc-diffblue/cbmc:minor-refactoring-in-symex-gotoCopy head branch name to clipboard

Feb 27, 2019

Commits

Commits on Feb 27, 2019

• Minor refactoring in symex_goto

  Show description for ee2f54c
  

  Owen

  committed
  ee2f54c

  Copy full SHA for ee2f54c