diff --git a/libs/symfpu b/libs/symfpu
index 1452b0b39..f5eccd093 160000
--- a/libs/symfpu
+++ b/libs/symfpu
@@ -1 +1 @@
-Subproject commit 1452b0b39c40c1a22dcbb0cc5b22ab628247ee5b
+Subproject commit f5eccd09323fba1a7ee78df2e7bb43dc5509dfe5
diff --git a/tests/symfpu/edges.sv b/tests/symfpu/edges.sv
index eecb60bad..9959ad1bd 100644
--- a/tests/symfpu/edges.sv
+++ b/tests/symfpu/edges.sv
@@ -228,9 +228,8 @@ module edges();
 
 `ifdef DIV
         assume (c_zero);
-        // a = finite, b = 0
-        if ((a_norm || a_subnorm) && b_unsigned == '0)
-            assert (DZ);
+        // div/zero when a = finite, b = 0
+        assert (!DZ || ((a_norm || a_subnorm) && b_unsigned == '0));
         // 0/0 or inf/inf
         if ((a_zero && b_zero) || (a_inf && b_inf))
             assert (NV);