Code

Feature/string solver performance#1465

Code

Merged

mgudemann merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

mgudemann:feature/string-solver-performancemgudemann/cbmc:feature/string-solver-performanceCopy head branch name to clipboard

Oct 12, 2017

Commits

Commits on Oct 12, 2017

• Avoid generating redundant constraints by iterating over n^2/2 rather than n^2 pairs.

  Show description for 40ff71b
  

  martin

  authored and

  Matthias Güdemann

  committed
  40ff71b

  Copy full SHA for 40ff71b

• Switch (!a | b) for (a => b) to clarrify the intent of the code.

  

  martin

  authored and

  Matthias Güdemann

  committed
  987d384

  Copy full SHA for 987d384