sp1_jit/debug.rs
1use serde::{Deserialize, Serialize};
2use std::sync::mpsc;
3
4pub trait DebugState {
5 fn current_state(&self) -> State;
6 fn new_debug_receiver(&mut self) -> Option<mpsc::Receiver<Option<State>>>;
7}
8
9#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash, Serialize, Deserialize)]
10pub struct State {
11 pub pc: u64,
12 pub clk: u64,
13 pub global_clk: u64,
14 pub registers: [u64; 32],
15}