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

Add mir-verifier support to cargo-verify (excluding #[test]) #11

Open

alastairreid opened this issue Sep 1, 2020 · 0 comments

Labels

Contributor

alastairreid commented Sep 1, 2020

No description provided.

alastairreid added the mir-verifier label

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