[fuzz] allow negative time jumps in txdownloadman_impl

glozow · glozow · commit 8351562bec60 · 2024-10-30T21:16:23.000-04:00
diff --git a/src/test/fuzz/txdownloadman.cpp b/src/test/fuzz/txdownloadman.cpp
@@ -430,8 +430,9 @@ FUZZ_TARGET(txdownloadman_impl, .init = initialize)
             }
         );
 
-        // Jump ahead in time
-        time += fuzzed_data_provider.PickValueInArray(TIME_SKIPS);
+        auto time_skip = fuzzed_data_provider.PickValueInArray(TIME_SKIPS);
+        if (fuzzed_data_provider.ConsumeBool()) time_skip *= -1;
+        time += time_skip;
         CheckInvariants(txdownload_impl, max_orphan_count);
     }
     // Disconnect everybody, check that all data structures are empty.

Original file line number	Diff line number	Diff line change
`@@ -430,8 +430,9 @@ FUZZ_TARGET(txdownloadman_impl, .init = initialize)`
`430`	`430`	`}`
`431`	`431`	`);`
`432`	`432`
`433`		`- // Jump ahead in time`
`434`		`- time += fuzzed_data_provider.PickValueInArray(TIME_SKIPS);`
	`433`	`+ auto time_skip = fuzzed_data_provider.PickValueInArray(TIME_SKIPS);`
	`434`	`+ if (fuzzed_data_provider.ConsumeBool()) time_skip *= -1;`
	`435`	`+ time += time_skip;`
`435`	`436`	`CheckInvariants(txdownload_impl, max_orphan_count);`
`436`	`437`	`}`
`437`	`438`	`// Disconnect everybody, check that all data structures are empty.`