This repository has been archived by the owner on Jul 31, 2023. It is now read-only.

Add mir-verifier support to propverify (without #[test] support) #10

Open

alastairreid opened this issue Sep 1, 2020 · 0 comments

Assignees

Labels

Contributor

alastairreid commented Sep 1, 2020

Implement propverify on top of verification-annotations support.
Without #[test] support, all tests will have to be written as main()

alastairreid added the mir-verifier label

alastairreid assigned fshaked

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.