Add EscrowAccounting tests to run-kontrol.sh script

runtimeverification · Jul 1, 2024 · aa191ed · aa191ed
1 parent b532ab6
commit aa191ed
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/test/kontrol/scripts/run-kontrol.sh b/test/kontrol/scripts/run-kontrol.sh
@@ -103,6 +103,10 @@ if [ "$SCRIPT_TESTS" == true ]; then
     test_list=(
         "VetoSignallingTest.testTransitionNormalToVetoSignalling"
         "VetoSignallingTest.testVetoSignallingInvariantsHoldInitially"
+        "EscrowAccountingTest.testRageQuitSupport"
+        "EscrowAccountingTest.testEscrowInvariantsHoldInitially"
+        "EscrowAccountingTest.testLockStEth"
+        "EscrowAccountingTest.testUnlockStEth"
     )
 elif [ "$CUSTOM_TESTS" != 0 ]; then
     test_list=( "${@:${CUSTOM_TESTS}}" )