Code

split_string cleanup#2843

Code

Merged

kroening merged 2 commits intodevelopdiffblue/cbmc:developfrom

split_string_cleanupdiffblue/cbmc:split_string_cleanupCopy head branch name to clipboard

Aug 27, 2018

Commits

Commits on Aug 26, 2018

• split_string with return value now also has 'strip' and 'remove_empty'

  

  Daniel Kroening

  committed
  0881bf2

  Copy full SHA for 0881bf2

Commits on Aug 27, 2018

• use split_string that returns its result

  

  Daniel Kroening

  committed
  646a9d8

  Copy full SHA for 646a9d8