Remove sanity check script

cosmos · Oct 2, 2023 · 45cfc5c · 45cfc5c
1 parent 289ccad
commit 45cfc5c
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 6 deletions.
diff --git a/tests/difference/core/quint_model/README.md b/tests/difference/core/quint_model/README.md
@@ -56,6 +56,4 @@ The available sanity checks are:
 - CanStopConsumer
 - CanTimeoutConsumer
 - CanSendVSCPackets
-- CanSendVSCMaturedPackets
-
-Run all sanity checks by running `run_sanity_checks.sh`.
+- CanSendVSCMaturedPackets
diff --git a/tests/difference/core/quint_model/ccv.qnt b/tests/difference/core/quint_model/ccv.qnt
@@ -457,9 +457,9 @@ module CCV {
                             "currentValidatorSet", providerStateAfterConsumerAdvancement.chainState.currentValidatorSet
                         )
                     )
-                    (consumer, newConsumerState)
+                    newConsumerState
                 } else {
-                    (consumer, currentState.consumerStates.get(consumer))
+                    currentState.consumerStates.get(consumer)
                 }
             )
         val newState = currentState.with(

diff --git a/tests/difference/core/quint_model/run_sanity_checks.sh b/tests/difference/core/quint_model/run_sanity_checks.sh