Code

Cleanup in string preprocessing#2374

Code

Merged

romainbrenguier merged 3 commits intodiffblue:developdiffblue/cbmc:developfrom

romainbrenguier:clean-up/preprocessingromainbrenguier/cbmc:clean-up/preprocessingCopy head branch name to clipboard

Oct 18, 2018

Commits

Commits on Oct 17, 2018

• Update jbmc/lib/java-models-library to java-models-library#9 (String of char array)

  Show description for 6d86626
  romainbrenguier

  committed
  6d86626

  Copy full SHA for 6d86626

• Stop preprocessing for unsupported functions

  Show description for bd292f7
  romainbrenguier

  committed
  bd292f7

  Copy full SHA for bd292f7

• Remove unused functions

  romainbrenguier

  committed
  f6c3023

  Copy full SHA for f6c3023