From 486b37a3ec19a0cdf9629d5c4f11ca56f59df9d0 Mon Sep 17 00:00:00 2001
From: Lukas Steiner <lsteiner@rhrk.uni-kl.de>
Date: Tue, 1 Jun 2021 14:05:43 +0200
Subject: [PATCH] Add assert statement for END phases.

---
 DRAMSys/library/src/common/TlmRecorder.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/DRAMSys/library/src/common/TlmRecorder.cpp b/DRAMSys/library/src/common/TlmRecorder.cpp
index 427f4614..b991cf61 100644
--- a/DRAMSys/library/src/common/TlmRecorder.cpp
+++ b/DRAMSys/library/src/common/TlmRecorder.cpp
@@ -118,7 +118,10 @@ void TlmRecorder::recordPhase(tlm_generic_payload &trans,
         introduceTransactionSystem(trans);
 
     if (phase == END_REQ || phase == END_RESP || phase >= END_PDNA)
+    {
+        assert(getPhaseName(phase).substr(4) == currentTransactionsInSystem[&trans].recordedPhases.back().name);
         currentTransactionsInSystem[&trans].recordedPhases.back().interval.end = time;
+    }
     else
     {
         std::string phaseName = getPhaseName(phase).substr(6); // remove "BEGIN_"