From: Jacob Lifshay Date: Tue, 28 Jun 2022 05:53:06 +0000 (-0700) Subject: f32 fadd formal proof is fast enough -- don't skip it anymore X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=58c0f6519badd884260dce2cccff0f95a79351a6;p=ieee754fpu.git 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 95e842d0..2d3584d2 100644 --- 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())