aptos-move-testing

Guide Move smart contract testing on Aptos with unit, integration, and Prover workflows.

Updated Nov 25, 2025

Search Tags:#integration test #unit test #aptos #move testing #move prover

Ready to run

npx skills add https://github.com/gounthar/bazel-riscv --skill aptos-move-testing

💬 Prompt for ChatGPT / Claude Chat▼

Please help me install this Agent Skill.
Skill: aptos-move-testing
Source: https://github.com/gounthar/bazel-riscv/tree/main/.claude/skills/aptos/move-testing
Command: npx skills add https://github.com/gounthar/bazel-riscv --skill aptos-move-testing

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

Guidance on Move unit tests, integration tests, and Move Prover integration for Aptos.

Core Features & Use Cases

Unit & Integration Tests: patterns for signing, accounts, and resources.
Move Prover: integration for formal specs and invariants.
Debugging & Coverage: tips for tracing and test coverage.
Use Case: Increase reliability with comprehensive tests.

Quick Start

Ask: "Write a Move unit test that checks withdraw prevents overdraft."

Frequently Asked Questions about aptos-move-testing

High-intent search queries and answers about installing and using this skill.

FAQPage Schema

How do I write unit tests for Move smart contracts on Aptos?▼

Unit tests for Move contracts use test functions with the #[test] attribute to validate individual functions and resource handling. Aptos Move testing supports signing, account simulation, and resource assertions—run tests with aptos move test to verify contract logic before deployment.

What's the best way to test multi-signer transactions in Move?▼

Multi-signer testing in Move requires setting up multiple accounts and simulating signed transactions within integration tests. Use mock-data scenarios and account fixtures to authorize operations across signers and verify permissions and state changes across accounts.

Can I use Move Prover for formal verification on Aptos contracts?▼

Move Prover integrates with Aptos to formally verify contract invariants and specifications. Define specs and run aptos move prove to check contract correctness mathematically, complementing unit and integration tests for comprehensive coverage.

How do I achieve comprehensive test coverage for Move contracts?▼

Comprehensive test coverage combines unit tests for individual functions, integration tests for workflows, and Move Prover for formal specs. Use debugging techniques to trace execution paths and ensure all contract behaviors—normal flows, edge cases, and resource constraints—are tested.

What patterns should I follow for testing resource and account operations?▼

Resource testing in Move requires patterns for account creation, balance assertions, and overdraft prevention. Integration tests should simulate realistic workflows with proper account setup, signed transactions, and state validation to ensure resource operations behave correctly.