From e4762caa214f0c8932d6b29e61b2a73064f451e3 Mon Sep 17 00:00:00 2001
From: Petar Maksimovic <petar.maksimovic@runtimeverification.com>
Date: Fri, 2 Aug 2024 07:24:16 +0100
Subject: [PATCH] invariant check correction

---
 test/kontrol/VetoSignalling.t.sol | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/test/kontrol/VetoSignalling.t.sol b/test/kontrol/VetoSignalling.t.sol
index b3ae4dc7..8c85f291 100644
--- a/test/kontrol/VetoSignalling.t.sol
+++ b/test/kontrol/VetoSignalling.t.sol
@@ -45,8 +45,10 @@ contract VetoSignallingTest is DualGovernanceSetUp {
 
         _vetoSignallingTimesInvariant(mode, sr);
         _vetoSignallingRageQuitInvariant(mode, sr);
-        _vetoSignallingDeactivationInvariant(mode, sr);
-        _vetoSignallingMaxDelayInvariant(mode, sr);
+        if (mode == Mode.Assert) {
+            _vetoSignallingDeactivationInvariant(mode, sr);
+            _vetoSignallingMaxDelayInvariant(mode, sr);
+        }
     }
 
     /**