Update tests with ordered properties #330
Conversation
thk123
force-pushed
the
thk/order-properties
branch
from
ba40074 to
fb79be3
Compare
chrisr-diffblue
left a comment
chrisr-diffblue
left a comment
There was a problem hiding this comment.
I assume the submodule bump will need updating once diffblue/cbmc#5214 has actually been merged? We need the submodule pointing at cbmc/develop so that everyone/anyone can access the appropriate commit when building gnat2goto. I'll put a blocking review on just until the submodule gets bumped, but other than that, looks good.
thk123
force-pushed
the
thk/order-properties
branch
from
fb79be3 to
166a788
Compare
|
@chrisr-diffblue now pointing at |
chrisr-diffblue
left a comment
chrisr-diffblue
left a comment
There was a problem hiding this comment.
Approved, now the submodule points at develop - many thanks.
|
@chrisr-diffblue @martin-cs I don't have write access. Not sure if I should, but this is ready to merge :) |
|
@thk123 Argh, apologies - I thought I'd added you to the appropriate group, but it turns out I hadn't actually clicked the extra "yes, I really do mean to do this" button. You should now have received an invite from Github. |
3 participants
Brings in diffblue/cbmc#5214
Previously propreties that differed only by name would be in a undefined order. Now they are sorted first by name, then by number. Expected output is updated accordingly.