aptos-move-testing

Unit tests in Move use the #[test] attribute to verify individual functions. You define test functions with a test signer, call your contract functions, and use assertions to validate expected outcomes. The Skill provides code examples and setup steps for standard unit test patterns.

Integration tests cover multi-signer workflows and end-to-end scenarios by simulating real-world transaction flows across multiple accounts and resources. The Skill guides you through setting up integration tests with multiple signers and verifying complex state changes.

Move Prover provides formal verification to mathematically prove contract invariants and prevent logic errors. The Skill covers Move Prover setup, writing specifications, and running formal verification alongside unit and integration tests.

Debugging uses stack traces and strategic assertions to isolate failures. The Skill explains how to read error outputs, add assertions for edge cases, and verify test coverage across multiple resources and account interactions.

The Skill provides the specific commands and assertions needed to run Move unit tests, integration tests, and Move Prover verification. It covers test execution workflows and how to validate invariants in real-world scenarios.