Code

Add add_axioms_for_concat_substr#1001

Code

Merged

allredj merged 4 commits intodiffblue:test-gen-supportdiffblue/cbmc:test-gen-supportfrom

allredj:pr/add-axioms-for-concat-substrallredj/cbmc:pr/add-axioms-for-concat-substrCopy head branch name to clipboard

Jun 21, 2017

Commits

Commits on Jun 21, 2017

• Add an add_axioms_for_concat_substr function

  Show description for 1e567fb
  

  romainbrenguier

  authored and

  Joel Allred

  committed
  1e567fb

  Copy full SHA for 1e567fb

• Comment in description of test for String.replace()

  

  Joel Allred

  committed
  334ab00

  Copy full SHA for 334ab00

• Modifications to doxygen

  

  Joel Allred

  committed
  ef5bd4d

  Copy full SHA for ef5bd4d

• Replace asserts

  Show description for cf39c29
  

  Joel Allred

  committed
  cf39c29

  Copy full SHA for cf39c29