From a5b80bc4402c4bedf7a5891535d3e3a5b43c9cea Mon Sep 17 00:00:00 2001
From: David Harris <david_harris@hmc.edu>
Date: Sat, 22 Apr 2023 15:27:05 -0700
Subject: [PATCH] Removed unproven fdivsqrt exclusion

---
 src/fpu/fdivsqrt/fdivsqrtfsm.sv | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/fpu/fdivsqrt/fdivsqrtfsm.sv b/src/fpu/fdivsqrt/fdivsqrtfsm.sv
index d1d9dda1..ba0758ee 100644
--- a/src/fpu/fdivsqrt/fdivsqrtfsm.sv
+++ b/src/fpu/fdivsqrt/fdivsqrtfsm.sv
@@ -63,9 +63,7 @@ module fdivsqrtfsm(
   flopenr #(1) SpecialCaseReg(clk, reset, IFDivStartE, SpecialCaseE, SpecialCaseM); // save SpecialCase for checking in fdivsqrtpostproc
 
   always_ff @(posedge clk) begin
-      // coverage off: dh 4/22/23 FlushE doesn't seem to happen while fdivsqrt is busy
       if (reset | FlushE) begin
-      // coverage on
           state <= #1 IDLE; 
       end else if (IFDivStartE) begin // IFDivStartE implies stat is IDLE
           step <= CyclesE;