Add EscrowOperations tests to run-kontrol.sh script

runtimeverification · Jul 5, 2024 · 235f93d · 235f93d
1 parent 5317bd2
commit 235f93d
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/test/kontrol/scripts/run-kontrol.sh b/test/kontrol/scripts/run-kontrol.sh
@@ -107,6 +107,9 @@ if [ "$SCRIPT_TESTS" == true ]; then
         "EscrowAccountingTest.testEscrowInvariantsHoldInitially"
         "EscrowAccountingTest.testLockStEth"
         "EscrowAccountingTest.testUnlockStEth"
+        "EscrowOperationsTest.testCannotUnlockBeforeMinLockTime"
+        "EscrowOperationsTest.testCannotLockUnlockInRageQuitEscrowState"
+        "EscrowOperationsTest.testCannotWithdrawBeforeEthClaimTimelockElapsed"
     )
 elif [ "$CUSTOM_TESTS" != 0 ]; then
     test_list=( "${@:${CUSTOM_TESTS}}" )