From ab52b3b9670a5bb555c148d9d5638a1a7fa3e877 Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Tue, 29 Jun 2021 22:15:35 -0400 Subject: Add patch to explicitly round float multiplication Add a call to rint in a test, ensuring it passes on the x87. --- debian/patches/series | 1 + 1 file changed, 1 insertion(+) (limited to 'debian/patches/series') diff --git a/debian/patches/series b/debian/patches/series index 99f5ccbc..9cca595d 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -6,3 +6,4 @@ thumb-function-bounds.diff float-rounding.diff DiscreteDistributionTest-irrelevant-destination-buckets.diff float-tests-disable-i386.diff +missing-rint.diff -- cgit v1.2.3