Update fuzzing/fuzzer_worker.go

crytic · Aug 27, 2024 · a0fa5ad · a0fa5ad
1 parent 533b2fe
commit a0fa5ad
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/fuzzing/fuzzer_worker.go b/fuzzing/fuzzer_worker.go
@@ -455,7 +455,6 @@ func (fw *FuzzerWorker) shrinkCallSequence(callSequence calls.CallSequence, shri
 			if lastMessageResult.Receipt.Status == types.ReceiptStatusFailed {
 				withoutReverts = append(withoutReverts[:i], withoutReverts[i+1:]...)
 			}
-			shrinkLimit--
 		}
 		// Test the sequence with all reverts removed.
 		validShrunkSequence, err := fw.testShrunkenCallSequence(withoutReverts, shrinkRequest)