miden_debug/lib.rs
1pub use miden_debug_engine::{debug, exec, felt};
2
3mod config;
4mod input;
5mod linker;
6
7#[cfg(feature = "tui")]
8mod logger;
9#[cfg(feature = "tui")]
10mod ui;
11
12#[cfg(feature = "tui")]
13pub use self::ui::{DebugMode, State, run, run_with_state};
14pub use self::{
15 config::{ColorChoice, DebuggerConfig},
16 debug::*,
17 exec::*,
18 felt::{Felt, FromMidenRepr, ToMidenRepr, bytes_to_words, push_wasm_ty_to_operand_stack},
19 input::InputFile,
20 linker::{LibraryKind, LinkLibrary},
21};