cln_mirror/tests/exam_FF_plus.cc

#include "exam.h"
#include <cln/ffloat.h>
#include <cln/ffloat_io.h>

static plus_test ffloat_plus_tests[] = {

{ "0.79351956", "0.07393837",
  "0.8674579" },

{ "-0.52145976", "-0.14409256",
  "-0.6655523" },

{ "-0.094845235", "-0.091273725",
  "-0.18611896" },

{ "-0.11106694", "-0.90595967",
  "-1.0170267" },

{ "0.46902913", "0.6453068",
  "1.114336" },

{ "-0.30989015", "0.6634996",
  "0.35360944" },

{ "-0.58887166", "-3.1150198E9",
  "-3.1150198E9" },

{ "0.08032262", "-8.451643E9",
  "-8.451643E9" },

{ "-0.734433", "7.601292E9",
  "7.601292E9" },

{ "0.77958024", "-4.2334996E9",
  "-4.2334996E9" },

{ "-0.5492505", "4.4427484E9",
  "4.4427484E9" },

{ "-0.45681345", "4.7386803E9",
  "4.7386803E9" },

{ "-0.5951412", "7.866326E-11",
  "-0.5951412" },

{ "0.8511461", "8.396644E-11",
  "0.8511461" },

{ "-0.94777477", "-7.635105E-11",
  "-0.94777477" },

{ "-0.20783025", "-1.7222382E-11",
  "-0.20783025" },

{ "0.82520634", "-5.3449255E-11",
  "0.82520634" },

{ "0.7797032", "3.7409843E-11",
  "0.7797032" },

{ "0.9915549", "5.16192E19",
  "5.16192E19" },

{ "-0.6311349", "2.1599532E19",
  "2.1599532E19" },

{ "0.42801672", "4.8533796E18",
  "4.8533796E18" },

{ "-0.11165339", "6.518633E19",
  "6.518633E19" },

{ "-0.5133993", "-5.5200484E19",
  "-5.5200484E19" },

{ "0.11643493", "-1.0541451E19",
  "-1.0541451E19" },

{ "-0.7063649", "8.243067E-21",
  "-0.7063649" },

{ "8.4728E-4", "-7.5151976E-21",
  "8.4728E-4" },

{ "-0.47157037", "-8.748518E-21",
  "-0.47157037" },

{ "0.7662331", "-5.6591384E-21",
  "0.7662331" },

{ "-0.9418909", "-4.455382E-21",
  "-0.9418909" },

{ "-0.88412094", "6.6664897E-21",
  "-0.88412094" },

{ "5.5891533E9", "-0.11624104",
  "5.5891533E9" },

{ "-8.760519E9", "0.22073412",
  "-8.760519E9" },

{ "6.8390047E9", "-0.6434584",
  "6.8390047E9" },

{ "5.1620844E9", "-0.93939686",
  "5.1620844E9" },

{ "9.21372E9", "-0.93054956",
  "9.21372E9" },

{ "-2.7403366E9", "-0.9354063",
  "-2.7403366E9" },

{ "6.4755876E9", "7.780013E9",
  "1.4255601E10" },

{ "3.6402857E9", "-4.6589404E9",
  "-1.0186547E9" },

{ "9.858497E9", "-3.1216233E9",
  "6.7368735E9" },

{ "-5.199144E9", "-8.3410964E9",
  "-1.354024E10" },

{ "-2.2145843E9", "7.4088115E9",
  "5.194227E9" },

{ "3.6034734E9", "-4.7355105E9",
  "-1.1320371E9" },

{ "-3.974853E9", "8.344858E-11",
  "-3.974853E9" },

{ "9.633741E9", "9.879035E-11",
  "9.633741E9" },

{ "-5.84563E9", "-2.8054357E-11",
  "-5.84563E9" },

{ "1.6814709E8", "-6.702281E-11",
  "1.6814709E8" },

{ "6.627381E8", "8.1083654E-11",
  "6.627381E8" },

{ "6.617609E9", "-7.74835E-11",
  "6.617609E9" },

{ "-4.325255E9", "7.48992E19",
  "7.48992E19" },

{ "8.963769E9", "5.6527995E19",
  "5.6527995E19" },

{ "3.2307428E9", "-3.772047E19",
  "-3.772047E19" },

{ "-1.5719092E9", "9.119215E19",
  "9.119215E19" },

{ "-3.1338138E9", "2.7048826E19",
  "2.7048826E19" },

{ "-4.4506363E9", "9.624759E19",
  "9.624759E19" },

{ "1.8499094E9", "4.968932E-21",
  "1.8499094E9" },

{ "1.1302281E9", "1.590079E-21",
  "1.1302281E9" },

{ "5.7261727E9", "-3.3212954E-21",
  "5.7261727E9" },

{ "1.8314988E9", "-6.247946E-21",
  "1.8314988E9" },

{ "-7.301286E9", "-8.870309E-21",
  "-7.301286E9" },

{ "8.0970737E9", "-6.944993E-21",
  "8.0970737E9" },

{ "9.076142E-11", "0.79629874",
  "0.79629874" },

{ "-2.5569331E-11", "-0.11109424",
  "-0.11109424" },

{ "5.817238E-11", "0.8669617",
  "0.8669617" },

{ "5.0001194E-11", "0.1629681",
  "0.1629681" },

{ "-5.314657E-11", "0.33499128",
  "0.33499128" },

{ "3.4244614E-11", "0.7846571",
  "0.7846571" },

{ "5.016508E-11", "1.2850774E9",
  "1.2850774E9" },

{ "-6.236206E-11", "-3.9463657E9",
  "-3.9463657E9" },

{ "-9.461717E-11", "-2.86016E9",
  "-2.86016E9" },

{ "9.271425E-11", "9.936099E9",
  "9.936099E9" },

{ "-9.330213E-12", "4.2810826E9",
  "4.2810826E9" },

{ "8.8110796E-11", "-7.967343E9",
  "-7.967343E9" },

{ "-3.252064E-11", "9.310712E-11",
  "6.058648E-11" },

{ "9.2616026E-11", "-4.2321837E-11",
  "5.029419E-11" },

{ "-6.138445E-11", "2.0083374E-11",
  "-4.130108E-11" },

{ "-1.672895E-11", "-4.1673078E-11",
  "-5.8402026E-11" },

{ "-5.054619E-11", "-1.9569606E-11",
  "-7.0115795E-11" },

{ "-6.765585E-11", "6.200571E-11",
  "-5.65014E-12" },

{ "-8.958499E-11", "9.627367E18",
  "9.627367E18" },

{ "-3.639458E-11", "-6.774422E19",
  "-6.774422E19" },

{ "5.885664E-11", "7.710968E19",
  "7.710968E19" },

{ "-2.8348934E-11", "-6.8805507E19",
  "-6.8805507E19" },

{ "3.783013E-11", "-4.363011E19",
  "-4.363011E19" },

{ "9.9192224E-11", "7.840148E19",
  "7.840148E19" },

{ "1.5157771E-11", "-6.578477E-21",
  "1.5157771E-11" },

{ "3.269849E-11", "-1.5641468E-21",
  "3.269849E-11" },

{ "-2.4697334E-11", "-5.9471063E-21",
  "-2.4697334E-11" },

{ "-7.226034E-11", "-8.027814E-21",
  "-7.226034E-11" },

{ "6.705153E-12", "1.3146739E-21",
  "6.705153E-12" },

{ "-9.281199E-11", "1.940757E-22",