From 65ae3d1f27be7f28c1d4f1890ec46a3d7e94563f Mon Sep 17 00:00:00 2001
From: Daniel Friesel <daniel.friesel@uos.de>
Date: Fri, 19 Jul 2019 14:18:44 +0200
Subject: [PATCH] ptalog: dump trace id
---
include/object/ptalog.h | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/include/object/ptalog.h b/include/object/ptalog.h
index 14ff2fd..e9694d2 100644
--- a/include/object/ptalog.h
+++ b/include/object/ptalog.h
@@ -66,9 +66,9 @@ class PTALog {
kout << "[PTA] benchmark stop" << endl;
}
- void dump()
+ void dump(uint16_t trace_id)
{
- kout << "[PTA] trace, count=" << dec << log_index << endl;
+ kout << "[PTA] trace=" << dec << trace_id << ", count=" << log_index << endl;
for (uint8_t i = 0; i < log_index; i++) {
#ifdef PTALOG_TIMING
kout << "[PTA] transition=" << log[i].transition_id;
--
GitLab