Code

Feature/string solver performance#1454

Code

Merged

kroening merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

martin-cs:feature/string-solver-performancemartin-cs/cbmc:feature/string-solver-performanceCopy head branch name to clipboard

Oct 12, 2017

Commits

Commits on Oct 10, 2017

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

  Show description for 438ba8d
  

  martin

  committed
  438ba8d

  Copy full SHA for 438ba8d

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

  

  martin

  committed
  7c545c8

  Copy full SHA for 7c545c8