Add ProposalOperations tests to run-kontrol.sh script

runtimeverification · Jul 8, 2024 · 1187c06 · 1187c06
1 parent 98c8857
commit 1187c06
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/test/kontrol/scripts/run-kontrol.sh b/test/kontrol/scripts/run-kontrol.sh
@@ -110,6 +110,13 @@ if [ "$SCRIPT_TESTS" == true ]; then
         "EscrowOperationsTest.testCannotUnlockBeforeMinLockTime"
         "EscrowOperationsTest.testCannotLockUnlockInRageQuitEscrowState"
         "EscrowOperationsTest.testCannotWithdrawBeforeEthClaimTimelockElapsed"
+        "ProposalOperationsTest.testCannotProposeInInvalidState"
+        "ProposalOperationsTest.testCannotScheduleInInvalidStates"
+        "ProposalOperationsTest.testCannotScheduleSubmissionAfterLastVetoSignalling"
+        "ProposalOperationsTest.testCanceledOrExecutedActionsCannotBeRescheduled"
+        "ProposalOperationsTest.testCannotScheduleBeforeMinTimelock"
+        "ProposalOperationsTest.testSchedulingSuccess"
+        "ProposalOperationsTest.testCannotExecuteBeforeEmergencyProtectionTimelock"
     )
 elif [ "$CUSTOM_TESTS" != 0 ]; then
     test_list=( "${@:${CUSTOM_TESTS}}" )