diff --git a/examples/simple/test/SimpleState.t.sol b/examples/simple/test/SimpleState.t.sol
index c2b774f7..6c6a026d 100644
--- a/examples/simple/test/SimpleState.t.sol
+++ b/examples/simple/test/SimpleState.t.sol
@@ -37,26 +37,10 @@ contract SimpleStateTest is SymTest, Test {
     function check_buggy() public {
         bool success;
 
-        (success,) = target.call(CreateCalldata(address(svm)).createCalldata("SimpleState"));
-        vm.assume(success);
-        (success,) = target.call(CreateCalldata(address(svm)).createCalldata("SimpleState"));
-        vm.assume(success);
-        (success,) = target.call(CreateCalldata(address(svm)).createCalldata("SimpleState"));
-        vm.assume(success);
-        (success,) = target.call(CreateCalldata(address(svm)).createCalldata("SimpleState"));
-        vm.assume(success);
-        (success,) = target.call(CreateCalldata(address(svm)).createCalldata("SimpleState"));
-        vm.assume(success);
-        (success,) = target.call(CreateCalldata(address(svm)).createCalldata("SimpleState"));
-        vm.assume(success);
-        (success,) = target.call(CreateCalldata(address(svm)).createCalldata("SimpleState"));
-        vm.assume(success);
-        (success,) = target.call(CreateCalldata(address(svm)).createCalldata("SimpleState"));
-        vm.assume(success);
-        (success,) = target.call(CreateCalldata(address(svm)).createCalldata("SimpleState"));
-        vm.assume(success);
-        (success,) = target.call(CreateCalldata(address(svm)).createCalldata("SimpleState"));
-        vm.assume(success);
+        for (uint i = 0; i < 10; i++) {
+            (success,) = target.call(CreateCalldata(address(svm)).createCalldata("SimpleState"));
+            vm.assume(success);
+        }
 
         assertFalse(buggy());
     }