From f4e2678d21a3070418fbd752ba23e4b00517330a Mon Sep 17 00:00:00 2001 From: lucasmt Date: Sat, 27 Jul 2024 01:06:00 -0500 Subject: [PATCH] Refine assumptions in testUnlockStEth --- test/kontrol/EscrowLockUnlock.t.sol | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/test/kontrol/EscrowLockUnlock.t.sol b/test/kontrol/EscrowLockUnlock.t.sol index 199f45db..6e378771 100644 --- a/test/kontrol/EscrowLockUnlock.t.sol +++ b/test/kontrol/EscrowLockUnlock.t.sol @@ -162,8 +162,9 @@ contract EscrowLockUnlockTest is EscrowInvariants, DualGovernanceSetUp { ); AccountingRecord memory pre = this.saveAccountingRecord(sender, signallingEscrow); + vm.assume(0 < pre.userSharesLocked); vm.assume(pre.userSharesLocked <= pre.totalSharesLocked); - vm.assume(Timestamps.now() >= addTo(config.SIGNALLING_ESCROW_MIN_LOCK_TIME(), pre.userLastLockedTime)); + vm.assume(Timestamps.now() > addTo(config.SIGNALLING_ESCROW_MIN_LOCK_TIME(), pre.userLastLockedTime)); this.escrowInvariants(Mode.Assume, signallingEscrow); this.signallingEscrowInvariants(Mode.Assume, signallingEscrow);