Code

String refine preprocessing#669

Code

Merged

forejtv merged 5 commits intodiffblue:test-gen-supportdiffblue/cbmc:test-gen-supportfrom

romainbrenguier:string-refine-preprocessingromainbrenguier/cbmc:string-refine-preprocessingCopy head branch name to clipboard

Mar 22, 2017

Commits

Commits on Mar 17, 2017

• Preprocessing of goto programs for string refinement

  romainbrenguier

  committed
  1aede78

  Copy full SHA for 1aede78

• Moving is_java_string_type functions to string_preprocess

  Show description for 3a2e210
  romainbrenguier

  committed
  3a2e210

  Copy full SHA for 3a2e210

• Moving refined_string_type to util

  Show description for 70af9ce
  romainbrenguier

  committed
  70af9ce

  Copy full SHA for 70af9ce

• Removed distinction between c string type and refined string type

  romainbrenguier

  committed
  2929d7f

  Copy full SHA for 2929d7f

• Removed mention of c string type

  Show description for 5cb0e5e
  romainbrenguier

  committed
  5cb0e5e

  Copy full SHA for 5cb0e5e