diff options
| author | Daniel Friesel <daniel.friesel@uos.de> | 2019-07-19 14:18:44 +0200 |
|---|---|---|
| committer | Daniel Friesel <daniel.friesel@uos.de> | 2019-07-19 14:18:44 +0200 |
| commit | 65ae3d1f27be7f28c1d4f1890ec46a3d7e94563f (patch) | |
| tree | e5913ebd8886b0892b7f5881c1f8c20e03b938c4 /include/object | |
| parent | 37b9b0ae95eaa4423f2ef3c3ea69e7c7e077fd25 (diff) | |
ptalog: dump trace id
Diffstat (limited to 'include/object')
| -rw-r--r-- | include/object/ptalog.h | 4 |
1 files 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; |