{"library":"move-prover-test-utils","type":"library","category":null,"description":"Provides test utilities for the Move prover, a formal verification tool for Move smart contracts.","language":"rust","status":"active","version":null,"tags":["move","prover","test-utilities","formal-verification"],"last_verified":"Wed Jun 17","install":[{"cmd":"# Cargo.toml\n[dependencies]\nmove-prover-test-utils = \"latest\"","imports":["use move_prover_test_utils::TestConfig;"]},{"cmd":"cargo add move-prover-test-utils","imports":[]}],"homepage":null,"github":null,"docs":"https://docs.rs/move-prover-test-utils/","changelog":null,"pypi":null,"npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"compatibility":null}