Add testRemoveAndRedeemMaturedTokens to kontrol.toml

term-finance · Sep 27, 2024 · 526bf5e · 526bf5e
1 parent 798f3ac
commit 526bf5e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/kontrol.toml b/kontrol.toml
@@ -41,6 +41,7 @@ bmc-depth                  = 3
 match-test                 = [
         "RepoTokenListInvariantsTest.testInsertSortedNewToken",
         "RepoTokenListInvariantsTest.testInsertSortedDuplicateToken",
+        "RepoTokenListInvariantsTest.testRemoveAndRedeemMaturedTokens",
     ]
 ast                        = true