From 09088179635613546831c420952ce9019272f26b Mon Sep 17 00:00:00 2001 From: Philipp Wagner Date: Wed, 2 Oct 2019 18:32:40 +0100 Subject: [PATCH] Tracer: Fix default file name We document the default file name to be trace_core_00000000.log, but actually used trace_core__00000000.log. Fix that. --- rtl/ibex_tracer.sv | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rtl/ibex_tracer.sv b/rtl/ibex_tracer.sv index 5898026f..370c66de 100644 --- a/rtl/ibex_tracer.sv +++ b/rtl/ibex_tracer.sv @@ -92,7 +92,7 @@ module ibex_tracer ( string rvfi_insn_str; if (file_handle == 32'h0) begin - string file_name_base = "trace_core_"; + string file_name_base = "trace_core"; $value$plusargs("ibex_tracer_file_base=%s", file_name_base); $sformat(file_name, "%s_%h.log", file_name_base, hart_id_i);