Closed satyamacn closed 1 year ago
This PR updates the README in move-prover/tests folder:
move-prover/tests
Removes the "Code coverage" section since it was referring to code coverage in diem repo
Updates the tests that get run when we do cargo test
cargo test
/canary
:sunny: Canary successful
/land
Motivation
This PR updates the README in
move-prover/tests
folder:Removes the "Code coverage" section since it was referring to code coverage in diem repo
Updates the tests that get run when we do
cargo test