fix(visual): drop leading 0's from clk when printing VM state

TritonVM · Jan 11, 2024 · d1a61b1 · d1a61b1
1 parent 8510257
commit d1a61b1
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/triton-vm/src/vm.rs b/triton-vm/src/vm.rs
@@ -932,6 +932,7 @@ impl Display for VMState {
         };
         let multi_register = |regs: [_; 4]| regs.map(register).join(" | ");
 
+        writeln!(f)?;
         writeln!(f, " ╭─{:─<tab_width$}─╮", "")?;
         writeln!(f, " │ {: <tab_width$} │", format!("{instruction}"))?;
         writeln!(
@@ -948,6 +949,7 @@ impl Display for VMState {
         let jsd = register(JSD);
         let osp = register(OpStackPointer);
         let clk = row[CLK.base_table_index()].to_string();
+        let clk = clk.trim_start_matches('0');
 
         let first_line = format!("ip:   {ip} ╷ ci:   {ci} ╷ nia: {nia} │ {clk: >clk_width$}");
         print_row(f, first_line)?;