diff --git a/search/CheckCapacitanceLimits.cc b/search/CheckCapacitanceLimits.cc
index e4bd4d64..fe09ff0d 100644
--- a/search/CheckCapacitanceLimits.cc
+++ b/search/CheckCapacitanceLimits.cc
@@ -252,7 +252,7 @@ CheckCapacitanceLimits::pinCapacitanceLimitViolations(Instance *inst,
       const RiseFall *rf;
       float capacitance, limit, slack;
       checkCapacitance(pin, corner, min_max, corner1, rf, capacitance, limit, slack );
-      if (rf && slack < 0.0)
+      if (rf && slack < 0.0 && !fuzzyInf(slack))
 	violators->push_back(pin);
     }
   }
diff --git a/search/CheckFanoutLimits.cc b/search/CheckFanoutLimits.cc
index 9d64ceca..76d9fc77 100644
--- a/search/CheckFanoutLimits.cc
+++ b/search/CheckFanoutLimits.cc
@@ -226,7 +226,7 @@ CheckFanoutLimits::pinFanoutLimitViolations(Instance *inst,
       float fanout;
       float limit, slack;
       checkFanout(pin, min_max, fanout, limit, slack );
-      if (slack < 0.0)
+      if (slack < 0.0 && !fuzzyInf(slack))
 	violators->push_back(pin);
     }
   }
diff --git a/search/CheckSlewLimits.cc b/search/CheckSlewLimits.cc
index 5abade33..a14a77fe 100644
--- a/search/CheckSlewLimits.cc
+++ b/search/CheckSlewLimits.cc
@@ -309,7 +309,7 @@ CheckSlewLimits::pinSlewLimitViolations(Instance *inst,
     Slew slew;
     float limit, slack;
     checkSlew(pin, corner, min_max, true, corner1, rf, slew, limit, slack);
-    if (rf && slack < 0.0)
+    if (rf && slack < 0.0 && !fuzzyInf(slack))
       violators->push_back(pin);
   }
   delete pin_iter;