Skip to content

Instantly share code, notes, and snippets.

@huitseeker

huitseeker/gist:a43498109a404e9326754b167bdf3766

Created September 20, 2025 00:15
Show Gist options
  • Save huitseeker/a43498109a404e9326754b167bdf3766 to your computer and use it in GitHub Desktop.
Save huitseeker/a43498109a404e9326754b167bdf3766 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
Compiling miden-stdlib v0.18.0 (/Users/huitseeker/tmp/miden-vm/stdlib)
Compiling miden-test-utils v0.1.0 (/Users/huitseeker/tmp/miden-vm/crates/utils/testing)
Compiling miden-vm v0.18.0 (/Users/huitseeker/tmp/miden-vm/miden-vm)
Compiling miden-assembly v0.18.0 (/Users/huitseeker/tmp/miden-vm/assembly)
Compiling miden-processor v0.18.0 (/Users/huitseeker/tmp/miden-vm/processor)
Finished `test` profile [unoptimized + debuginfo] target(s) in 9.96s
────────────
Nextest run ID 281c9101-dd33-4169-83ca-8d796547e752 with nextest profile: default
Starting 2 tests across 17 binaries (2207 tests skipped)
START miden-assembly tests::test_issue_2181_locaddr_bug_assembly
running 1 test
[assembly/src/mast_forest_builder.rs:326:9] contiguous_basic_block_ids.iter().map(|id|
self.mast_forest.get_node_by_id(*id).unwrap().clone()).collect::<Vec<_>>() = [
Block(
BasicBlockNode {
op_batches: [
OpBatch {
ops: [
Noop,
],
groups: [
0,
0,
0,
0,
0,
0,
0,
0,
],
op_counts: [
1,
0,
0,
0,
0,
0,
0,
0,
],
num_groups: 1,
},
],
digest: Word(
[
8635338869442206704,
11671305615285950885,
15253023094703789604,
7398108415970215319,
],
),
decorators: [],
},
),
]
[assembly/src/mast_forest_builder.rs:326:9] contiguous_basic_block_ids.iter().map(|id|
self.mast_forest.get_node_by_id(*id).unwrap().clone()).collect::<Vec<_>>() = [
Block(
BasicBlockNode {
op_batches: [
OpBatch {
ops: [
Push(
4,
),
FmpUpdate,
Push(
18446744069414584317,
),
FmpAdd,
Push(
18446744069414584317,
),
FmpAdd,
Push(
18446744069414584317,
),
FmpAdd,
],
groups: [
3778152553175003,
4,
18446744069414584317,
18446744069414584317,
18446744069414584317,
0,
0,
0,
],
op_counts: [
8,
0,
0,
0,
0,
0,
0,
0,
],
num_groups: 5,
},
],
digest: Word(
[
13510462665049738583,
481680881173965717,
2302912752304588076,
18020727712967936137,
],
),
decorators: [],
},
),
Block(
BasicBlockNode {
op_batches: [
OpBatch {
ops: [
Noop,
],
groups: [
0,
0,
0,
0,
0,
0,
0,
0,
],
op_counts: [
1,
0,
0,
0,
0,
0,
0,
0,
],
num_groups: 1,
},
],
digest: Word(
[
8635338869442206704,
11671305615285950885,
15253023094703789604,
7398108415970215319,
],
),
decorators: [],
},
),
Block(
BasicBlockNode {
op_batches: [
OpBatch {
ops: [
Drop,
Drop,
Drop,
Drop,
Push(
18446744069414584317,
),
FmpUpdate,
],
groups: [
1639421990057,
18446744069414584317,
0,
0,
0,
0,
0,
0,
],
op_counts: [
6,
0,
0,
0,
0,
0,
0,
0,
],
num_groups: 2,
},
],
digest: Word(
[
9698799963400884621,
4188807360375886454,
14108078756137842844,
911289343382497941,
],
),
decorators: [],
},
),
]
[assembly/src/mast_forest_builder.rs:326:9] contiguous_basic_block_ids.iter().map(|id|
self.mast_forest.get_node_by_id(*id).unwrap().clone()).collect::<Vec<_>>() = [
Block(
BasicBlockNode {
op_batches: [
OpBatch {
ops: [
Push(
4,
),
FmpUpdate,
Push(
18446744069414584317,
),
FmpAdd,
Push(
18446744069414584317,
),
FmpAdd,
Push(
18446744069414584317,
),
FmpAdd,
Noop,
Drop,
Drop,
Drop,
Drop,
Push(
18446744069414584317,
),
FmpUpdate,
],
groups: [
3778152553175003,
4,
18446744069414584317,
18446744069414584317,
18446744069414584317,
1639421990057,
18446744069414584317,
0,
],
op_counts: [
9,
0,
0,
0,
0,
6,
0,
0,
],
num_groups: 7,
},
],
digest: Word(
[
16858368813752727632,
17715304191637726361,
10529096673059218084,
10324864871971286732,
],
),
decorators: [],
},
),
]
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ Snapshot Summary ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
Snapshot file: assembly/src/snapshots/miden_assembly__tests__issue_2181_locaddr_bug_assembly.snap
Snapshot: issue_2181_locaddr_bug_assembly
Source: assembly/src/tests.rs:3919
────────────────────────────────────────────────────────────────────────────────
Expression: program
────────────────────────────────────────────────────────────────────────────────
-old snapshot
+new results
────────────┬───────────────────────────────────────────────────────────────────
13 13 │ drop
14 14 │ drop
15 15 │ push(18446744069414584317)
16 16 │ fmpupdate
17 │- noop
18 17 │ end
19 18 │ end
────────────┴───────────────────────────────────────────────────────────────────
stored new snapshot /Users/huitseeker/tmp/miden-vm/assembly/src/snapshots/miden_assembly__tests__issue_2181_locaddr_bug_assembly.snap.new
To update snapshots run `cargo insta review`
Stopped on the first failure. Run `cargo insta test` to run all snapshots.
Error: x Main thread panicked.
|-> at /Users/huitseeker/.cargo/registry/src/index.crates.io-
| 1949cf8c6b5b557f/insta-1.43.1/src/runtime.rs:679:13
`-> snapshot assertion for 'issue_2181_locaddr_bug_assembly' failed in line
3919
help: set the `RUST_BACKTRACE=1` environment variable to display a
backtrace.
test tests::test_issue_2181_locaddr_bug_assembly ... FAILED
failures:
failures:
tests::test_issue_2181_locaddr_bug_assembly
test result: FAILED. 0 passed; 1 failed; 0 ignored; 0 measured; 126 filtered out; finished in 0.05s
FAIL [ 0.056s] miden-assembly tests::test_issue_2181_locaddr_bug_assembly
START miden-vm::miden-cli cli::cli_test::test_issue_2181_locaddr_bug
running 1 test
Issue 2181 test results:
Program executes successfully
Found expected debug.stack outputs
Buggy output 18446744069414584317 appears 0 times
✓ Correct behavior: no buggy output found
test cli::cli_test::test_issue_2181_locaddr_bug ... ok
test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 317 filtered out; finished in 6.17s
PASS [ 6.179s] miden-vm::miden-cli cli::cli_test::test_issue_2181_locaddr_bug
────────────
Summary [ 6.237s] 2 tests run: 1 passed, 1 failed, 2207 skipped
FAIL [ 0.056s] miden-assembly tests::test_issue_2181_locaddr_bug_assembly
error: test run failed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment