vpi/force signals: ensure value propagation.

Fix #531

1 files changed, 10 insertions, 4 deletions

diff --git a/src/grt/grt-signals.adb b/src/grt/grt-signals.adb
index 363e7977e..4cdc8c424 100644
--- a/src/grt/grt-signals.adb
+++ b/src/grt/grt-signals.adb
@@ -3324,15 +3324,21 @@ package body Grt.Signals is
                Sig := Fv.Sig;
                --  FIXME: Implement the full semantic of force: really force,
                --  only set driving/effective value, release...
+               Mark_Active (Sig);
                case Fv.Kind is
                   when Force_Driving =>
-                     Mark_Active (Sig);
                      Sig.Driving_Value := Fv.Val;
-                     Set_Effective_Value (Sig, Sig.Driving_Value'Access);
                   when Force_Effective =>
-                     Mark_Active (Sig);
-                     Set_Effective_Value (Sig, Fv.Val'Access);
+                     null;
                end case;
+               Set_Effective_Value (Sig, Fv.Val'Access);
+
+               if Sig.Net in Signal_Net_Defined then
+                  --  HACK: mark SIG as active so that propagation will execute
+                  --  just below.
+                  Add_Active_Chain (Sig);
+               end if;
+
                Next_Fv := Fv.Next;
                Free (Fv);
                Fv := Next_Fv;