Hi,
Sorry this took so long to review. But it is pretty complex code.
I think I got how it works mostly. It is hard to proof correct though.
How did you convince yourself that the code is correct?
For example I am not sure I can proof that in resize_worker() this
always holds: assert(GET_STATE(re
https://sourceware.org/bugzilla/show_bug.cgi?id=25082
Mark Wielaard changed:
What|Removed |Added
Status|ASSIGNED|RESOLVED
Resolution|---
https://sourceware.org/bugzilla/show_bug.cgi?id=25083
Mark Wielaard changed:
What|Removed |Added
Status|ASSIGNED|RESOLVED
Resolution|---
https://sourceware.org/bugzilla/show_bug.cgi?id=25077
Mark Wielaard changed:
What|Removed |Added
Status|ASSIGNED|RESOLVED
Resolution|---
https://sourceware.org/bugzilla/show_bug.cgi?id=25068
Mark Wielaard changed:
What|Removed |Added
Status|ASSIGNED|RESOLVED
Resolution|---
https://sourceware.org/bugzilla/show_bug.cgi?id=25069
Mark Wielaard changed:
What|Removed |Added
CC||mark at klomp dot org
--- Comment #1
The Buildbot has detected a failed build on builder whole buildset while
building elfutils.
Full details are available at:
https://builder.wildebeest.org/buildbot/#builders/10/builds/376
Buildbot URL: https://builder.wildebeest.org/buildbot/
Worker for this Build: fedora-s390x
Build Reason:
On Sat, Oct 26, 2019 at 01:50, Mark Wielaard wrote:
Hi,
Sorry this took so long to review. But it is pretty complex code.
I think I got how it works mostly. It is hard to proof correct though.
How did you convince yourself that the code is correct?
No worries, its a complex piece of code.