From ad9ee481296d7d8e522a8f2e80849a919e1f0926 Mon Sep 17 00:00:00 2001
From: zimmerma <zimmerma@211d60ee-9f03-0410-a15a-8952a2c7a4e4>
Date: Fri, 22 Oct 2010 20:30:11 +0000
Subject: [sqrt.dat] added hard case from Emmanuel Thome (loops with the
 current version)

git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@850 211d60ee-9f03-0410-a15a-8952a2c7a4e4
---
 tests/sqrt.dat | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'tests/sqrt.dat')

diff --git a/tests/sqrt.dat b/tests/sqrt.dat
index b8a9cfa..c4f4dc9 100644
--- a/tests/sqrt.dat
+++ b/tests/sqrt.dat
@@ -1,6 +1,6 @@
 # Data file for mpc_sqrt.
 #
-# Copyright (C) 2008 Philippe Th\'eveny, Andreas Enge
+# Copyright (C) 2008, 2010 Philippe Th\'eveny, Andreas Enge, Paul Zimmermann
 #
 # This file is part of the MPC Library.
 #
@@ -120,3 +120,5 @@
 - + 2 0b11p+100 2 -0b11p+100    2         -0 2 -0b11p+203 N Z
 0 + 2         0 2 -0b10p+117    2 -0b11p+235 2         -0 N Z
 
+# infinite loop reported by Emmanuel Thome, 22 Oct 2010
+- + 375 1 375 0xf.8a8aae3080b3dd665e316d262fd54c1ca22a83dc9acb92ef6p-202281177 375 1 375 0xf.8a8aae3080b3dd665e316d262fd54c1ca22a83dc9acb92ef6p-202281176 N N
-- 
cgit v1.2.1