Module Minidebug_client.InteractiveSource

Interactive TUI using Notty

Sourceval run : Sqlite3.db -> string -> unit

Launch interactive terminal UI for exploring a trace run. Arguments: db handle, db_path

Controls:

  • ↑/↓ or k/j: Navigate up/down
  • Enter: Expand/collapse current node
  • t: Toggle time display
  • v: Toggle values-first mode
  • q or Esc: Quit