Code

Update tests with ordered properties#330

Code

Merged

thk123 merged 2 commits intodiffblue:masterdiffblue/gnat2goto:masterfrom

thk123:thk/order-propertiesthk123/gnat2goto:thk/order-propertiesCopy head branch name to clipboard

Jan 22, 2020

Commits

Commits on Jan 22, 2020

• Update tests to have the properties in numeric order

  

  thk123

  committed
  4005faa

  Copy full SHA for 4005faa

• Bump lib/cbmc to include diffblue/cbmc#5214

  

  thk123

  committed
  166a788

  Copy full SHA for 166a788