haps: include breakpoint number in stop reason debug output

Author: Wenzel

src/haps/mod.rs

@@ -428,7 +428,7 @@ impl Tsffs {
             let (exit_kind, iteration_count) = match kind {
                 SolutionKind::Timeout => (ExitKind::Timeout, IterationCount::Timeout),
                 SolutionKind::Exception { .. }
-                | SolutionKind::Breakpoint
+                | SolutionKind::Breakpoint { .. }
                 | SolutionKind::Manual => (ExitKind::Crash, IterationCount::Solution),
             };
 
@@ -571,7 +571,7 @@ impl Tsffs {
             );
 
             self.stop_simulation(StopReason::Solution {
-                kind: SolutionKind::Breakpoint,
+                kind: SolutionKind::Breakpoint { number: breakpoint },
             })?;
         }
         Ok(())

src/state/mod.rs

@@ -22,7 +22,7 @@ pub(crate) use policy::SnapshotRestorePolicy;
 pub(crate) enum SolutionKind {
     Timeout,
     Exception { number: i64 },
-    Breakpoint,
+    Breakpoint { number: i64 },
     Manual,
 }