This repository has been archived by the owner on May 10, 2023. It is now read-only.
Cleanup/Augment assertions #1
Labels
Comments
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
There are some assertions that is not clear why they are there and in some places there are invariants that are not asserted. Places where this holds must be added here.
The text was updated successfully, but these errors were encountered: