Skip to content

feat: custom test harness #817

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
lima-limon-inc wants to merge 20 commits into
base: next
Choose a base branch
from
Open

feat: custom test harness #817

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
20 commits
Select commit Hold shift + click to select a range
0b16290
feat: add `cargo miden test` command
lima-limon-inc Dec 11, 2025
ab6a99d
feat: custom test harness initial commit
lima-limon-inc Dec 11, 2025
5932270
feat: add test-harness library to Cargo.toml
lima-limon-inc Dec 12, 2025
24d1be0
feat: update counter-contract example with #[miden-test]
lima-limon-inc Dec 12, 2025
a10c5a9
feat: re-export miden-mast-package and miden-objects via test-harness…
lima-limon-inc Dec 12, 2025
519ba8f
feat: use custom test harness
lima-limon-inc Dec 12, 2025
5bdf3de
feat: add miden-testing to test-harness
lima-limon-inc Dec 12, 2025
f7a8b4d
nit: uncomment test that fails at compile time
lima-limon-inc Dec 16, 2025
df9650a
refactor: split miden-test-harness-lib into 2 crates
lima-limon-inc Dec 16, 2025
2891eb6
feat: add Context struct
lima-limon-inc Dec 16, 2025
9c28ba8
feat: get_binding_and_type helper function
lima-limon-inc Dec 17, 2025
2d67fc2
refactor: load_package now consumes 'Package' related tokens, leaves …
lima-limon-inc Dec 17, 2025
5a321a2
feat: add load_mock_chain function
lima-limon-inc Dec 17, 2025
3cd4676
refactor: process_arguments function to generalize argument parsing
lima-limon-inc Dec 17, 2025
d61075b
feat: add MockChainBuilder to foo test
lima-limon-inc Dec 17, 2025
e1183f2
fix: add mut to mock chain builder
lima-limon-inc Dec 17, 2025
c52c16b
feat: add function with MockChain + Package
lima-limon-inc Dec 17, 2025
4056270
feat: update Cargo.lock
lima-limon-inc Dec 17, 2025
cc5ea76
feat: remove Context struct
lima-limon-inc Dec 17, 2025
b4dd9a0
feat: document tests
lima-limon-inc Dec 18, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
120 changes: 118 additions & 2 deletions Cargo.lock
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

3 changes: 3 additions & 0 deletions Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -19,6 +19,7 @@ members = [
"tools/*",
"tests/integration",
"tests/integration-node",
"test-harness/*",
]
exclude = [
"sdk/.cargo",
Expand Down Expand Up @@ -150,6 +151,8 @@ midenc-session = { version = "0.5.1", path = "midenc-session" }
cargo-miden = { version = "0.5.1", path = "tools/cargo-miden" }
miden-integration-tests = { path = "tests/integration" }
midenc-expect-test = { path = "tools/expect-test" }
miden-test-harness-lib = { path = "test-harness/test-harness-lib" }
miden-test-harness-macros = { path = "test-harness/test-harness-macros" }

[patch.crates-io]
#miden-assembly = { git = "https://github.com/0xMiden/miden-vm", rev = "614cd7f9b52f45238b0ab59c71ebb49325051e5d" }
Expand Down
Loading