This crate contains utilities for testing program execution on Miden VM. This includes:
- A
Test
struct which encapsulates information needed for testing of Miden VM programs and provides various convenience methods for testing program execution. - A set of macros to simplify instantiation of the
Test
struct. - Re-exports of various VM modules and 3-rd party crates which may be useful for writing tests.
This project is MIT licensed.