ProvableHQ / leo

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
https://leo-lang.org/
GNU General Public License v3.0
4.79k stars 643 forks source link

[Bug] unexpected panic `leo execute` #28188

Closed liolikus closed 3 weeks ago

liolikus commented 1 month ago

πŸ› Bug Report

leo execute --program alex_b_leo_new.aleo --broadcast main 1u32 2u32

Failed to parse string. Found invalid character in: ".aleo"
thread `main` panicked at errors/src/errors/mod.rs:131:26:
not implemented
stack backtrace: 
   0: leo::set_panic_hook::{{closure}}
   1: std::panicking::rust_panic_with_hook
   2: std::panicking::begin_panic_handler::{{closure}}
   3: std::sys_common::backtrace::__rust_end_short_backtrace
   4: rust_begin_unwind
   5: core::panicking::panic_fmt
   6: core::panicking::panic
   7: leo_errors::errors::LeoError::exit_code
   8: scoped_tls::ScopedKey<T>::set
   9: leo::main
  10: std::sys_common::backtrace::__rust_begin_short_backtrace
  11: std::rt::lang_start::{{closure}}
  12: std::rt::lang_start_internal
  13: main
  14: <unknown>
  15: __libc_start_main
  16: _start

error: internal compiler error: unexpected panic

note: the compiler unexpectedly panicked. this is a bug.

note: we would appreciate a bug report: https://github.com/AleoHQ/leo/issues/new?labels=bug,panic&template=bug.md&title=[Bug]

note: leo-lang 1.12.0 running on Linux 6.1.89-060189-generic

note: compiler args: leo execute --program alex_b_leo_new.aleo --broadcast main 1u32 2u32

note: compiler flags: CLI { debug: false, quiet: false, command: Execute { command: Execute { name: "main", inputs: ["1u32", "2u32"], broadcast: true, local: false, program: Some("alex_b_leo_new.aleo"), fee_options: FeeOptions { dry_run: false, priority_fee: 0, private_key: None, record: None }, compiler_options: BuildOptions { endpoint: "https://api.explorer.aleo.org/v1", network: "testnet", non_recursive: false, offline: false, enable_symbol_table_spans: false, enable_initial_symbol_table_snapshot: false, enable_type_checked_symbol_table_snapshot: false, enable_unrolled_symbol_table_snapshot: false, enable_ast_spans: false, enable_dce: false, enable_all_ast_snapshots: false, enable_initial_ast_snapshot: false, enable_unrolled_ast_snapshot: false, enable_ssa_ast_snapshot: false, enable_flattened_ast_snapshot: false, enable_destructured_ast_snapshot: false, enable_inlined_ast_snapshot: false, enable_dce_ast_snapshot: false, conditional_block_max_depth: 10, disable_conditional_branch_type_checking: false }, file: None } }, path: None, home: None }

Steps to Reproduce

leo execute --program alex_b_leo_new.aleo --broadcast main 1u32 2u32

leo 1.12.0

d0cd commented 3 weeks ago

@liolikus The above PR fixes this issue. In the meantime, don't use the .aleo suffix in your program name.