Code

Fix property sort#5214

Code

Merged

thk123 merged 4 commits intodiffblue:developdiffblue/cbmc:developfrom

thk123:thk/fix-property-sortthk123/cbmc:thk/fix-property-sortCopy head branch name to clipboard

Jan 22, 2020

Commits

Commits on Jan 22, 2020

• Pull out the compare function

  

  thk123

  committed
  8ddbbb7

  Copy full SHA for 8ddbbb7

• Rename to use full names for properties

  

  thk123

  committed
  8e06fb2

  Copy full SHA for 8e06fb2

• Add a unit test for checking the ordering by instruction

  

  thk123

  committed
  7b17349

  Copy full SHA for 7b17349

• Fix error in sorting properties that differ by property name

  Show description for ac888bb
  

  thk123

  committed
  ac888bb

  Copy full SHA for ac888bb