From c2513ffc719d389d8b5d67d45a89a1d0b462ba3e Mon Sep 17 00:00:00 2001 From: F-WRunTime Date: Wed, 28 Aug 2024 14:17:48 -0600 Subject: [PATCH 1/2] Increaed parallelization and commented out Locktest --- kontrol.toml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/kontrol.toml b/kontrol.toml index 745e6407..c92d53a2 100644 --- a/kontrol.toml +++ b/kontrol.toml @@ -16,7 +16,7 @@ max-iterations = 10000 reinit = false cse = false workers = 1 -max-frontier-parallel = 6 +max-frontier-parallel = 12 maintenance-rate = 24 assume-defined = true no-log-rewrites = true @@ -44,7 +44,7 @@ match-test = [ "VetoSignallingTest.testDeactivationNotCancelled", "EscrowAccountingTest.testRageQuitSupport", "EscrowAccountingTest.testEscrowInvariantsHoldInitially", - "EscrowLockUnlockTest.testLockStEth", + #"EscrowLockUnlockTest.testLockStEth", #"EscrowAccountingTest.testUnlockStEth", #"EscrowOperationsTest.testCannotUnlockBeforeMinLockTime", #"EscrowOperationsTest.testCannotLockUnlockInRageQuitEscrowState", From a804306b1036dfd75b7a1dcdbbbf8f8f6091ee64 Mon Sep 17 00:00:00 2001 From: F-WRunTime Date: Wed, 28 Aug 2024 22:04:22 -0600 Subject: [PATCH 2/2] kontrol.tom: Remove deactivateionnotcancelled test --- kontrol.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kontrol.toml b/kontrol.toml index c92d53a2..075c2f23 100644 --- a/kontrol.toml +++ b/kontrol.toml @@ -41,7 +41,7 @@ match-test = [ "VetoSignallingTest.testTransitionNormalToVetoSignalling", "VetoSignallingTest.testVetoSignallingInvariantsHoldInitially", "VetoSignallingTest.testVetoSignallingInvariantsArePreserved", - "VetoSignallingTest.testDeactivationNotCancelled", + #"VetoSignallingTest.testDeactivationNotCancelled", "EscrowAccountingTest.testRageQuitSupport", "EscrowAccountingTest.testEscrowInvariantsHoldInitially", #"EscrowLockUnlockTest.testLockStEth",