From 80598f8390fe9c9540c0ad6cd5010d3d1d712ecd Mon Sep 17 00:00:00 2001
From: James Cherry <cherry@parallaxsw.com>
Date: Wed, 3 Apr 2024 19:26:39 -0700
Subject: [PATCH] report_clock_skew after report_checks -through

Signed-off-by: James Cherry <cherry@parallaxsw.com>
---
 search/Search.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/search/Search.cc b/search/Search.cc
index 6dafbb39..7ba2a018 100644
--- a/search/Search.cc
+++ b/search/Search.cc
@@ -508,6 +508,8 @@ Search::deleteFilteredArrivals()
 	     || from->instances()))
 	|| thrus) {
       for (Vertex *vertex : *filtered_arrivals_) {
+        if (isClock(vertex))
+          clk_arrivals_valid_ = false;
         deletePaths(vertex);
         arrivalInvalid(vertex);
         requiredInvalid(vertex);