+ def test_fadd_f16_rne_formal(self):
+ self.tst_fadd_formal(SmtSortFloat16(), FPRoundingMode.RNE)
+
+ def test_fadd_f32_rne_formal(self):
+ self.tst_fadd_formal(SmtSortFloat32(), FPRoundingMode.RNE)
+
+ @unittest.skip("too slow")
+ def test_fadd_f64_rne_formal(self):
+ self.tst_fadd_formal(SmtSortFloat64(), FPRoundingMode.RNE)
+
+ def test_fadd_f16_rtz_formal(self):
+ self.tst_fadd_formal(SmtSortFloat16(), FPRoundingMode.RTZ)
+
+ def test_fadd_f32_rtz_formal(self):
+ self.tst_fadd_formal(SmtSortFloat32(), FPRoundingMode.RTZ)
+
+ @unittest.skip("too slow")
+ def test_fadd_f64_rtz_formal(self):
+ self.tst_fadd_formal(SmtSortFloat64(), FPRoundingMode.RTZ)
+
+ def test_fadd_f16_rtp_formal(self):
+ self.tst_fadd_formal(SmtSortFloat16(), FPRoundingMode.RTP)
+
+ def test_fadd_f32_rtp_formal(self):
+ self.tst_fadd_formal(SmtSortFloat32(), FPRoundingMode.RTP)
+
+ @unittest.skip("too slow")
+ def test_fadd_f64_rtp_formal(self):
+ self.tst_fadd_formal(SmtSortFloat64(), FPRoundingMode.RTP)
+
+ def test_fadd_f16_rtn_formal(self):
+ self.tst_fadd_formal(SmtSortFloat16(), FPRoundingMode.RTN)
+
+ def test_fadd_f32_rtn_formal(self):
+ self.tst_fadd_formal(SmtSortFloat32(), FPRoundingMode.RTN)
+
+ @unittest.skip("too slow")
+ def test_fadd_f64_rtn_formal(self):
+ self.tst_fadd_formal(SmtSortFloat64(), FPRoundingMode.RTN)
+
+ def test_fadd_f16_rna_formal(self):
+ self.tst_fadd_formal(SmtSortFloat16(), FPRoundingMode.RNA)
+
+ def test_fadd_f32_rna_formal(self):
+ self.tst_fadd_formal(SmtSortFloat32(), FPRoundingMode.RNA)
+
+ @unittest.skip("too slow")
+ def test_fadd_f64_rna_formal(self):
+ self.tst_fadd_formal(SmtSortFloat64(), FPRoundingMode.RNA)
+
+ def test_fadd_f16_rtop_formal(self):
+ self.tst_fadd_formal(SmtSortFloat16(), FPRoundingMode.RTOP)
+
+ def test_fadd_f32_rtop_formal(self):
+ self.tst_fadd_formal(SmtSortFloat32(), FPRoundingMode.RTOP)
+
+ @unittest.skip("too slow")
+ def test_fadd_f64_rtop_formal(self):
+ self.tst_fadd_formal(SmtSortFloat64(), FPRoundingMode.RTOP)
+
+ def test_fadd_f16_rton_formal(self):
+ self.tst_fadd_formal(SmtSortFloat16(), FPRoundingMode.RTON)