Skip to content

Instantly share code, notes, and snippets.

@huitseeker
Created September 20, 2025 00:18
Show Gist options
  • Save huitseeker/7f01486e537debf7e17ec5b45b55f12a to your computer and use it in GitHub Desktop.
Save huitseeker/7f01486e537debf7e17ec5b45b55f12a to your computer and use it in GitHub Desktop.
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 8.25s
────────────
Nextest run ID b550b576-ec53-4674-b62f-a73916bc497a with nextest profile: default
Starting 2 tests across 18 binaries (2246 tests skipped)
START miden-assembly tests::test_issue_2181_locaddr_bug_assembly
running 1 test
[assembly/src/mast_forest_builder.rs:327: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,
],
indptr: [
0,
1,
0,
0,
0,
0,
0,
0,
0,
],
padding: [
false,
false,
false,
false,
false,
false,
false,
false,
],
groups: [
0,
0,
0,
0,
0,
0,
0,
0,
],
num_groups: 1,
},
],
digest: Word(
[
8635338869442206704,
11671305615285950885,
15253023094703789604,
7398108415970215319,
],
),
decorators: [],
},
),
]
[assembly/src/mast_forest_builder.rs:327: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,
Noop,
Noop,
],
indptr: [
0,
8,
8,
8,
8,
8,
9,
10,
11,
],
padding: [
false,
false,
false,
false,
false,
true,
true,
true,
],
groups: [
3778152553175003,
4,
18446744069414584317,
18446744069414584317,
18446744069414584317,
0,
0,
0,
],
num_groups: 8,
},
],
digest: Word(
[
13510462665049738583,
481680881173965717,
2302912752304588076,
18020727712967936137,
],
),
decorators: [],
},
),
Block(
BasicBlockNode {
op_batches: [
OpBatch {
ops: [
Noop,
],
indptr: [
0,
1,
0,
0,
0,
0,
0,
0,
0,
],
padding: [
false,
false,
false,
false,
false,
false,
false,
false,
],
groups: [
0,
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,
],
indptr: [
0,
6,
6,
0,
0,
0,
0,
0,
0,
],
padding: [
false,
false,
false,
false,
false,
false,
false,
false,
],
groups: [
1639421990057,
18446744069414584317,
0,
0,
0,
0,
0,
0,
],
num_groups: 2,
},
],
digest: Word(
[
9698799963400884621,
4188807360375886454,
14108078756137842844,
911289343382497941,
],
),
decorators: [],
},
),
]
[assembly/src/mast_forest_builder.rs:327: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,
Noop,
],
indptr: [
0,
9,
9,
9,
9,
9,
15,
15,
16,
],
padding: [
false,
false,
false,
false,
false,
false,
false,
true,
],
groups: [
3778152553175003,
4,
18446744069414584317,
18446744069414584317,
18446744069414584317,
1639421990057,
18446744069414584317,
0,
],
num_groups: 8,
},
],
digest: Word(
[
16858368813752727632,
17715304191637726361,
10529096673059218084,
10324864871971286732,
],
),
decorators: [],
},
),
]
test tests::test_issue_2181_locaddr_bug_assembly ... ok
test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 127 filtered out; finished in 0.03s
PASS [ 0.030s] 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
thread 'cli::cli_test::test_issue_2181_locaddr_bug' panicked at miden-vm/tests/integration/cli/cli_test.rs:226:5:
Buggy output 18446744069414584317 should NOT appear in correct implementation
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
test cli::cli_test::test_issue_2181_locaddr_bug ... FAILED
failures:
failures:
cli::cli_test::test_issue_2181_locaddr_bug
test result: FAILED. 0 passed; 1 failed; 0 ignored; 0 measured; 318 filtered out; finished in 0.18s
FAIL [ 0.187s] miden-vm::miden-cli cli::cli_test::test_issue_2181_locaddr_bug
────────────
Summary [ 0.219s] 2 tests run: 1 passed, 1 failed, 2246 skipped
FAIL [ 0.187s] miden-vm::miden-cli cli::cli_test::test_issue_2181_locaddr_bug
error: test run failed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment