f32 fadd formal proof is fast enough -- don't skip it anymore

diff --git a/src/ieee754/fpadd/test/test_add_formal.py b/src/ieee754/fpadd/test/test_add_formal.py
index 95e842d09b072165ba476185ef381c0af2f088d0..2d3584d26c7f2b9c98ea7d95d0a79b4730cd83dd 100644 (file)
--- a/src/ieee754/fpadd/test/test_add_formal.py
+++ b/src/ieee754/fpadd/test/test_add_formal.py
@@ -53,7 +53,6 @@ class TestFAddFormal(FHDLTestCase):
     def test_fadd16_rne_formal(self):
         self.tst_fadd_rne_formal(SmtSortFloat16())
 
-    @unittest.skip("too slow")
     def test_fadd32_rne_formal(self):
         self.tst_fadd_rne_formal(SmtSortFloat32())