From 58c0f6519badd884260dce2cccff0f95a79351a6 Mon Sep 17 00:00:00 2001 From: Jacob Lifshay Date: Mon, 27 Jun 2022 22:53:06 -0700 Subject: [PATCH] f32 fadd formal proof is fast enough -- don't skip it anymore --- src/ieee754/fpadd/test/test_add_formal.py | 1 - 1 file changed, 1 deletion(-) 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()) -- 2.30.2