Remove VetoCooldown test from list for now

runtimeverification · Jul 8, 2024 · 22d1d3b · 22d1d3b
1 parent 6fa07ac
commit 22d1d3b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/kontrol/scripts/run-kontrol.sh b/test/kontrol/scripts/run-kontrol.sh
@@ -101,7 +101,7 @@ test_list=()
 if [ "$SCRIPT_TESTS" == true ]; then
     # Here go the list of tests to execute with the `script` option
     test_list=(
-        "VetoCooldownTest.testVetoCooldownDuration"
+        #"VetoCooldownTest.testVetoCooldownDuration"
         "VetoSignallingTest.testTransitionNormalToVetoSignalling"
         "VetoSignallingTest.testVetoSignallingInvariantsHoldInitially"
         "EscrowAccountingTest.testRageQuitSupport"