Registry / testing / move-prover-test-utils

move-prover-test-utils

libraryrscratesunverified

Provides test utilities for the Move prover, a formal verification tool for Move smart contracts.

# Cargo.toml
[dependencies]
move-prover-test-utils = "latest"

INSTALL

IMPORT

SIG · MOVE-PROVER-TEST-U

move-prover-test-utils

testingrust

harness data pending

Install & Compatibility

Where this runs

No compatibility data collected yet for this library.

Code

Verified usage

Verified import paths — ran on the pinned version, not inferred.

TestConfig

✓ use move_prover_test_utils::TestConfig;

Creates a default test configuration for the Move prover.

use move_prover_test_utils::TestConfig; fn main() { let config = TestConfig::default(); println!("Test config: {:?}", config); }

Debug

Known issues

No known issues recorded.

Upgrade

Version history

Breaking-change detection hasn't run for this library yet.

Audit

Dependencies

No dependency data recorded yet.

Agent activity

4 hits · last 30 days

node

Resources