This repository has been archived by the owner on May 22, 2023. It is now read-only.
Consolidate CI proofs #112
Comments
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
Currently some most of the proofs that are done in the CI do not fail on unproven checks. Afaik all of those in
test/linux.shhad been proven once but are now broken due to interface changes. We should prove them again and then make the tests fail if they cannot be proven anymore.The text was updated successfully, but these errors were encountered: