From 20bcf67155d40462933b17b438dcd470661ec255 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Wed, 18 Mar 2026 15:17:56 -1000 Subject: [PATCH] Print full child output for all tests in parallel mode Always print each test's captured output, not just for failures. This preserves backward compatibility: - PASS appears on its own line per test, as before - ASAN/UBSAN reports from any test appear in captured logs - timeit output is preserved for all tests Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com> --- src/test/api.cpp | 2 +- src/test/main.cpp | 12 +++++------- 2 files changed, 6 insertions(+), 8 deletions(-) diff --git a/src/test/api.cpp b/src/test/api.cpp index 5c49f8d23..ac4fe9818 100644 --- a/src/test/api.cpp +++ b/src/test/api.cpp @@ -160,7 +160,7 @@ void test_optimize_translate() { Z3_del_context(ctx1); } -void test_max_reg() { +void test_max_reg() { // BNH multi-objective optimization problem using Z3 Optimize C API. // Mimics /tmp/bnh_z3.py: two objectives over a constrained 2D domain. // f1 = 4*x1^2 + 4*x2^2 diff --git a/src/test/main.cpp b/src/test/main.cpp index bc91a9acf..8e5bd70fb 100644 --- a/src/test/main.cpp +++ b/src/test/main.cpp @@ -457,13 +457,11 @@ static int run_parallel(const char* exe_path, bool test_all, unsigned num_jobs, << result.exit_code << ", " << std::fixed << std::setprecision(1) << result.elapsed_secs << "s)" << std::endl; - if (!result.output.empty()) { - std::cout << "--- " << result.name << " output ---" << std::endl; - std::cout << result.output; - if (result.output.back() != '\n') - std::cout << std::endl; - std::cout << "--- end " << result.name << " ---" << std::endl; - } + } + if (!result.output.empty()) { + std::cout << result.output; + if (result.output.back() != '\n') + std::cout << std::endl; } } }