Test

Overview

This crate implements a unified testing infrastructure that allows developers to write tests as individual Move IR programs, send them through the entire pipeline, and check the output of each stage using inline directives.

How to run functional tests

Run cargo test inside this crate, or cargo test -p functional_tests anywhere in the repo. cargo test also accepts a filter: cargo test foo runs only the tests with foo in the name.

Adding a new test

To add a new test, simply create a new .mvir file in tests/testsuite. The test harness will recursively search for all move ir sources in the directory and register each of them as a test case.