thevar1able/ClickHouse
1
0
Fork 0
mirror of https://github.com/ClickHouse/ClickHouse.git synced 2024-11-10 01:25:21 +00:00
Code Issues Packages Projects Releases Wiki Activity

Handle both fuzzer.log and fuzzer.log.ztd

Browse Source
This commit is contained in:
Raúl Marín 2024-01-30 19:44:55 +01:00
parent 4b5e992565
commit a3f0546f48
1 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
tests/ci/ast_fuzzer_check.py
View File

@ -113,7 +113,6 @@ def main():
paths = {
"run.log": run_log_path,
"main.log": main_log_path,
"fuzzer.log": workspace_path / "fuzzer.log",
"report.html": workspace_path / "report.html",
"core.zst": workspace_path / "core.zst",
"dmesg.log": workspace_path / "dmesg.log",
@ -129,6 +128,14 @@ def main():
if not_compressed_server_log_path.exists():
paths["server.log"] = not_compressed_server_log_path
# Same idea but with the fuzzer log
compressed_fuzzer_log_path = workspace_path / "fuzzer.log.zst"
if compressed_fuzzer_log_path.exists():
paths["fuzzer.log.zst"] = compressed_fuzzer_log_path
not_compressed_fuzzer_log_path = workspace_path / "fuzzer.log"
if not_compressed_fuzzer_log_path.exists():
paths["fuzzer.log"] = not_compressed_fuzzer_log_path
# Try to get status message saved by the fuzzer
try:
with open(workspace_path / "status.txt", "r", encoding="utf-8") as status_f: