Code

Tidied up get_main_symbol#1562

Code

Merged

smowton merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

NathanJPhillips:feature/extend-main_function_resultNathanJPhillips/cbmc:feature/extend-main_function_resultCopy head branch name to clipboard

Nov 6, 2017

Commits

Commits on Nov 6, 2017

• Tidied up get_main_symbol

  Show description for 0aeb459
  NathanJPhillips

  committed
  0aeb459

  Copy full SHA for 0aeb459