test: simplify simple state test

a16z · Sep 4, 2024 · a01bcb5 · a01bcb5
1 parent ca1abbf
commit a01bcb5
Showing 1 changed file with 4 additions and 20 deletions.
diff --git 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());
     }