Created
September 20, 2025 00:18
-
-
Save huitseeker/7f01486e537debf7e17ec5b45b55f12a to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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