From 96f0e4512b874813d3df31c99b48391faeebb88a Mon Sep 17 00:00:00 2001
From: David Venhoff <david.venhoff@cs.tu-dortmund.de>
Date: Thu, 31 Jul 2025 13:12:58 +0200
Subject: [PATCH] Dump pt trace

---
 fuzz_runner/src/nyx/params.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/fuzz_runner/src/nyx/params.rs b/fuzz_runner/src/nyx/params.rs
index f837513..a580ccf 100644
--- a/fuzz_runner/src/nyx/params.rs
+++ b/fuzz_runner/src/nyx/params.rs
@@ -100,6 +100,7 @@ impl QemuParams {
         nyx_ops += &format!(",workdir={}", workdir);
         nyx_ops += &format!(",sharedir={}", sharedir);
         nyx_ops += &format!(",aux_buffer_size={}", fuzzer_config.runtime.aux_buffer_size());
+        nyx_ops += &format!(",dump_pt_trace={}", true);
 
         let mut i = 0;
         for filter in fuzzer_config.fuzz.ipt_filters{