From df61acff803f4a632b1fe1e2e1d969f2eb36bdaa Mon Sep 17 00:00:00 2001
From: r4bbit <445106+0x-r4bbit@users.noreply.github.com>
Date: Fri, 13 Jun 2025 13:22:16 +0200
Subject: [PATCH] test(Karma): adjust fuzz test for slashing to ensure there's
 balance to slash

This will otherwise find counter examples where the transaction reverts.
---
 test/Karma.t.sol | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/test/Karma.t.sol b/test/Karma.t.sol
index 2777d4b..7285738 100644
--- a/test/Karma.t.sol
+++ b/test/Karma.t.sol
@@ -387,6 +387,9 @@ contract SlashAmountOfTest is KarmaTest {
         vm.assume(distributor1Balance < 1e30);
         vm.assume(distributor2Balance < 1e30);
 
+        // Ensure Alice has at least some balance to slash
+        vm.assume(accountBalance + distributor1Balance + distributor2Balance > 0);
+
         _mintKarmaToAccount(alice, accountBalance);
         vm.startPrank(owner);
         distributor1.setUserKarmaShare(alice, distributor1Balance);