From 5fed5443e43a167d11a334163009e6538ec766f8 Mon Sep 17 00:00:00 2001 From: Sylvestre Ledru Date: Wed, 8 Nov 2023 12:46:46 +0100 Subject: [PATCH] fuzz: flush after calling uumain - was failing with printf --- fuzz/fuzz_targets/fuzz_common.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/fuzz/fuzz_targets/fuzz_common.rs b/fuzz/fuzz_targets/fuzz_common.rs index 86b8e5618..e30e24ddd 100644 --- a/fuzz/fuzz_targets/fuzz_common.rs +++ b/fuzz/fuzz_targets/fuzz_common.rs @@ -64,6 +64,7 @@ where } uumain_exit_status = uumain_function(args.to_owned().into_iter()); + io::stdout().flush().unwrap(); // Restore the original stdout unsafe {