Skip to content
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.

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

miden binary fails to deserialize std.masl #1503

Open
PhilippGackstatter opened this issue Sep 19, 2024 · 3 comments
Open

miden binary fails to deserialize std.masl #1503

PhilippGackstatter opened this issue Sep 19, 2024 · 3 comments
Labels
bug Something isn't working

Comments

@PhilippGackstatter
Copy link

When starting with a clean target folder and on the current main branch (fbce798a53967310463ee02e0e681617781406df) the miden binary built with make exec always errors out when passing the std.masl file from the build process with the -l flag.
(It is independent of whether the passed example needs the stdlib or not.)

./target/optimized/miden run -a miden/examples/fib/fib.masm -l target/optimized/build/miden-stdlib-be5cd533fb680a98/out/assets/std.masl
===============================================================================
Run program: miden/examples/fib/fib.masm
-------------------------------------------------------------------------------
Error:   x Main thread panicked.
  |-> at ~/.cargo/registry/src/index.crates.io-6f17d22bba15001f/
  |   winter-utils-0.9.1/src/serde/byte_reader.rs:507:26
  `-> range end index 1 out of range for slice of length 0
  help: set the `RUST_BACKTRACE=1` environment variable to display a
        backtrace.
@bobbinth
Copy link
Contributor

This was a bug in winter-utils. It should be fixed in winter-utils v0.9.2. If you run cargo update, does it fix things?

@PhilippGackstatter
Copy link
Author

PhilippGackstatter commented Sep 19, 2024

Ran cargo update and rebuilt but same category of error:

./target/optimized/miden run -a miden/examples/fib/fib.masm -l target/optimized/build/miden-stdlib-8caab94c0d35f7de/out/assets/std.masl 
===============================================================================
Run program: miden/examples/fib/fib.masm
-------------------------------------------------------------------------------
Error:   x Main thread panicked.
  |-> at ~/.cargo/registry/src/index.crates.io-6f17d22bba15001f/
  |   winter-utils-0.9.2/src/serde/byte_reader.rs:507:30
  `-> range end index 249 out of range for slice of length 36
  help: set the `RUST_BACKTRACE=1` environment variable to display a
        backtrace.

@bobbinth
Copy link
Contributor

Ah - then this is a legit bug.

@bobbinth bobbinth added the bug Something isn't working label Sep 19, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

No branches or pull requests

2 participants