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

bug: snos panic on nightly-2024-10-04 in release mode #398

Open
apoorvsadana opened this issue Oct 8, 2024 · 0 comments
Open

bug: snos panic on nightly-2024-10-04 in release mode #398

apoorvsadana opened this issue Oct 8, 2024 · 0 comments
Labels
bug Something isn't working

Comments

@apoorvsadana
Copy link
Contributor

SNOS version:
6439114

Current behavior:

When you try to prove block 76793 (I think it happens with all blocks, I had tried a few more) in release mode then it panics with this error

failures:
    tests::jobs::snos_job::test_process_job

test result: FAILED. 0 passed; 1 failed; 0 ignored; 0 measured; 94 filtered out; finished in 3.23s


--- STDERR:              orchestrator tests::jobs::snos_job::test_process_job ---
thread 'tests::jobs::snos_job::test_process_job' panicked at /home/runner/.cargo/registry/src/index.crates.io-6f17d22bba15001f/minilp-0.2.2/src/ordering.rs:12:44:
called `Option::unwrap()` on a `None` value
stack backtrace:
   0: rust_begin_unwind
   1: core::panicking::panic_fmt
   2: core::panicking::panic
   3: core::option::unwrap_failed
   4: minilp::ordering::order_simple::<minilp::lu::lu_factorize<<minilp::solver::Solver>::try_new::{closure#1}>::{closure#1}>
   5: minilp::lu::lu_factorize::<<minilp::solver::Solver>::try_new::{closure#1}>
   6: <minilp::solver::Solver>::try_new
   7: <minilp::Problem>::solve
   8: <good_lp::solvers::minilp::MiniLpProblem as good_lp::solvers::SolverModel>::solve
   9: cairo_lang_eq_solver::try_solve_equations_iteration::<cairo_lang_sierra_gas::cost_expr::Var>
  10: cairo_lang_eq_solver::try_solve_equations::<cairo_lang_sierra_gas::cost_expr::Var>
  11: cairo_lang_sierra_gas::calc_gas_precost_info
  12: cairo_lang_sierra_to_casm::metadata::calc_metadata
  13: <cairo_lang_starknet_classes::casm_contract_class::CasmContractClass>::from_contract_class_with_debug_info
  14: <cairo_lang_starknet_classes::casm_contract_class::CasmContractClass>::from_contract_class
  15: <starknet_os_types::sierra_contract_class::GenericSierraContractClass>::compile
  16: prove_block::state_utils::add_compiled_class_to_os_input
  17: prove_block::state_utils::add_compiled_class_from_contract_to_os_input::{closure#0}
  18: prove_block::prove_block::{closure#0}
  19: <orchestrator::jobs::snos_job::SnosJob as orchestrator::jobs::Job>::process_job::{closure#0}
  20: orchestrator::tests::jobs::snos_job::test_process_job::{closure#0}
  21: tokio::runtime::context::runtime::enter_runtime::<<tokio::runtime::scheduler::multi_thread::MultiThread>::block_on<core::pin::Pin<&mut dyn core::future::future::Future<Output = core::result::Result<(), eyre::Report>>>>::{closure#0}, core::result::Result<(), eyre::Report>>
  22: <tokio::runtime::runtime::Runtime>::block_on::<core::pin::Pin<&mut dyn core::future::future::Future<Output = core::result::Result<(), eyre::Report>>>>
  23: orchestrator::tests::jobs::snos_job::test_process_job
  24: <orchestrator::tests::jobs::snos_job::test_process_job::{closure#0} as core::ops::function::FnOnce<()>>::call_once
note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace.

It works fine if you're in debug mode or if you switch to rust version nightly-2024-09-05

Expected behavior:

Not sure if this is in scope for now but ideally it should work on the latest rust version.

Steps to reproduce:

cargo test --release test_prove_selected_blocks
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

1 participant