Closed shigoel closed 1 month ago
Flesh out the loop postcondition; other misc. cleanup
What tests have been run? Did make all succeed for your changes? Was conformance testing successful on an Aarch64 machine?
make all
Yes
By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.
Description:
Flesh out the loop postcondition; other misc. cleanup
Testing:
What tests have been run? Did
make allsucceed for your changes? Was conformance testing successful on an Aarch64 machine?Yes
License:
By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.