hanzoai/datastore
2
0
Fork 0
mirror of https://github.com/hanzoai/datastore.git synced 2026-09-26 13:55:07 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add setting for health checks and fixes

Browse Source
This commit is contained in:
Pedro Ferreira
2025-12-10 09:25:33 +00:00
parent 67209506cc
commit 3263fc6cf6
4 changed files with 14 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files
programs/client/FuzzLoop.cpp
+1 -1
View File
@@ -685,7 +685,7 @@ bool Client::buzzHouse()
const uint32_t restart_client = 1 * static_cast<uint32_t>(fuzz_config->allow_client_restarts);
const uint32_t external_call
= 10 * static_cast<uint32_t>(gen.collectionHas<BuzzHouse::SQLTable>(gen.attached_tables_for_external_call));
const uint32_t health_check = 2;
const uint32_t health_check = 3 * static_cast<uint32_t>(fuzz_config->allow_health_check);
const uint32_t run_query = 910;
const uint32_t prob_space = correctness_oracle + settings_oracle + dump_oracle + peer_oracle + restart_client
+ external_call + health_check + run_query;