From 05e5ad50769af0b4441d212638b384ecc6c76235 Mon Sep 17 00:00:00 2001
From: Karlis Susters <ks980@cam.ac.uk>
Date: Wed, 10 May 2023 23:51:16 +0100
Subject: [PATCH] Update tests for singlewindow-target

---
 .../coherence/src/test/Prefetcher_test.bsv          | 13 ++++++++-----
 1 file changed, 8 insertions(+), 5 deletions(-)

diff --git a/src_Core/RISCY_OOO/coherence/src/test/Prefetcher_test.bsv b/src_Core/RISCY_OOO/coherence/src/test/Prefetcher_test.bsv
index 0ac6ef2..5f80beb 100644
--- a/src_Core/RISCY_OOO/coherence/src/test/Prefetcher_test.bsv
+++ b/src_Core/RISCY_OOO/coherence/src/test/Prefetcher_test.bsv
@@ -453,23 +453,26 @@ module mkBRAMSingleWindowTargetPrefetcherTest(Empty);
             action
                 p.reportAccess('h80000140, MISS); //Report miss back home
             endaction
-            action
-                let x <- p.getNextPrefetchAddr; 
-                doAssert(x == 'h80000180, "test fail!"); // window addresss recommended
-            endaction
             action
                 let x <- p.getNextPrefetchAddr; //target address recommended
                 doAssert(x == 'h81000200, "test fail!");
             endaction
+            action
+                let x <- p.getNextPrefetchAddr; 
+                doAssert(x == 'h80000180, "test fail!"); // window addresss recommended
+            endaction
             action
                 p.reportAccess('h80000140, HIT); //Report miss back home
             endaction
             action
                 p.reportAccess('h81000200, HIT); 
             endaction
+            action
+                p.reportAccess('h80000140, HIT);  //overwrite last target entry
+            endaction
             action
                 let x <- p.getNextPrefetchAddr; //target addresss recommended
-                doAssert(x == 'h800001c0, "test fail!");
+                doAssert(x == 'h81000200, "test fail!");
             endaction
         endseq
     );