[S] Change in libgfxinit[master]: framebuffer filler: Extend loop invariant to assist prover - coreboot-gerrit

4 Oct 2022


      Attention is currently required from: Nico Huber.
Angel Pons has posted comments on this change. ( https://review.coreboot.org/c/libgfxinit/+/68106 )
Change subject: framebuffer filler: Extend loop invariant to assist prover
......................................................................
Patch Set 1: Code-Review+2
-- 
To view, visit https://review.coreboot.org/c/libgfxinit/+/68106
To unsubscribe, or for help writing mail filters, visit https://review.coreboot.org/settings

Gerrit-Project: libgfxinit
Gerrit-Branch: master
Gerrit-Change-Id: I34d5b4d5840fd2b45c4bf3d72abba88487dda2dd
Gerrit-Change-Number: 68106
Gerrit-PatchSet: 1
Gerrit-Owner: Nico Huber nico.h@gmx.de
Gerrit-Reviewer: Angel Pons th3fanbus@gmail.com
Gerrit-Attention: Nico Huber nico.h@gmx.de
Gerrit-Comment-Date: Tue, 04 Oct 2022 13:44:25 +0000
Gerrit-HasComments: No
Gerrit-Has-Labels: Yes
Gerrit-MessageType: comment