invariant check correction

runtimeverification · Aug 2, 2024 · e4762ca · e4762ca
1 parent d4ee537
commit e4762ca
Showing 1 changed file with 4 additions and 2 deletions.
diff --git 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);
+        }
     }
 
     /**