From 7e766d575ec9fe8f96a5d633ce3de9ba91d53ce3 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Fri, 27 May 2022 09:55:59 +0200
Subject: elab-debugger: add Debug_Time

---
 src/synth/elab-debugger.adb | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

(limited to 'src/synth/elab-debugger.adb')

diff --git a/src/synth/elab-debugger.adb b/src/synth/elab-debugger.adb
index e9f372dc3..0ff6a80e5 100644
--- a/src/synth/elab-debugger.adb
+++ b/src/synth/elab-debugger.adb
@@ -42,6 +42,7 @@ package body Elab.Debugger is
      (
       Reason_Init,
       Reason_Break,
+      Reason_Time,
       Reason_Error
      );
 
@@ -836,7 +837,8 @@ package body Elab.Debugger is
             end case;
             --  Default state.
             Exec_State := Exec_Run;
-
+         when Reason_Time =>
+            Exec_State := Exec_Run;
       end case;
 
       case Reason is
@@ -954,6 +956,14 @@ package body Elab.Debugger is
       Debug (Reason_Break);
    end Debug_Break;
 
+   procedure Debug_Time is
+   begin
+      Current_Instance := Root_Instance;
+      Current_Loc := Null_Node;
+
+      Debug (Reason_Time);
+   end Debug_Time;
+
    procedure Debug_Leave (Inst : Synth_Instance_Acc) is
    begin
       if Exec_Instance = Inst then
-- 
cgit v1.2.3