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",
  "-9.281199E-11" },

{ "6.841885E19", "0.29873258",
  "6.841885E19" },

{ "-7.487633E19", "-0.41199452",
  "-7.487633E19" },

{ "9.324847E19", "-0.12986994",
  "9.324847E19" },

{ "1.7454827E19", "-0.9480438",
  "1.7454827E19" },

{ "-2.2794772E19", "-0.85242146",
  "-2.2794772E19" },

{ "-1.4789046E18", "-0.3244334",
  "-1.4789046E18" },

{ "-1.0913384E19", "6.2691034E8",
  "-1.0913384E19" },

{ "9.054158E19", "6.7361736E9",
  "9.054158E19" },

{ "-2.404365E19", "2.819194E9",
  "-2.404365E19" },

{ "3.0628145E19", "3.8188636E9",
  "3.0628145E19" },

{ "-3.7020847E19", "-4.248917E8",
  "-3.7020847E19" },

{ "8.556466E19", "-5.431256E9",
  "8.556466E19" },

{ "4.8590555E19", "-4.0259546E-11",
  "4.8590555E19" },

{ "-1.990289E19", "-3.2150872E-11",
  "-1.990289E19" },

{ "-1.5843934E19", "5.37822E-11",
  "-1.5843934E19" },

{ "1.596058E19", "2.465645E-11",
  "1.596058E19" },

{ "8.179266E19", "-8.080585E-11",
  "8.179266E19" },

{ "8.673572E19", "-2.1405459E-11",
  "8.673572E19" },

{ "-4.5302206E19", "4.4819714E19",
  "-4.824921E17" },

{ "2.1413618E19", "-7.160984E19",
  "-5.0196224E19" },

{ "9.760235E19", "-7.810464E19",
  "1.949771E19" },

{ "-7.518544E19", "-5.7398474E19",
  "-1.32583915E20" },

{ "-2.459352E19", "6.0089863E19",
  "3.5496343E19" },

{ "-9.009707E19", "1.9710512E19",
  "-7.0386556E19" },

{ "4.9167807E19", "-1.261897E-21",
  "4.9167807E19" },

{ "-8.647001E18", "-1.4144885E-21",
  "-8.647001E18" },

{ "-6.2763383E19", "6.69688E-21",
  "-6.2763383E19" },

{ "1.6851938E19", "-4.9109547E-21",
  "1.6851938E19" },

{ "-7.0371058E19", "-9.246501E-21",
  "-7.0371058E19" },

{ "-2.8498996E19", "3.3614294E-21",
  "-2.8498996E19" },

{ "-4.8211753E-21", "0.5153807",
  "0.5153807" },

{ "-9.730312E-21", "0.3705088",
  "0.3705088" },

{ "-8.83036E-21", "0.21063423",
  "0.21063423" },

{ "1.8688595E-21", "-0.38304192",
  "-0.38304192" },

{ "-7.9137435E-21", "-0.9482965",
  "-0.9482965" },

{ "-5.7913193E-21", "-0.16538233",
  "-0.16538233" },

{ "-4.667948E-21", "5.69782E9",
  "5.69782E9" },

{ "-1.6254025E-21", "1.100067E9",
  "1.100067E9" },

{ "5.4919865E-21", "9.125866E9",
  "9.125866E9" },

{ "2.1973532E-21", "-5.218964E9",
  "-5.218964E9" },

{ "-4.018586E-21", "-6.5943096E9",
  "-6.5943096E9" },

{ "-7.7845274E-22", "4.172669E9",
  "4.172669E9" },

{ "-2.843846E-21", "9.243441E-12",
  "9.243441E-12" },

{ "1.1533075E-21", "3.327943E-11",
  "3.327943E-11" },

{ "5.977113E-21", "6.507544E-11",
  "6.507544E-11" },

{ "1.1817801E-21", "-4.1877824E-11",
  "-4.1877824E-11" },

{ "1.932947E-21", "9.4013144E-11",
  "9.4013144E-11" },

{ "8.526454E-21", "8.396772E-11",
  "8.396772E-11" },

{ "-4.8870485E-21", "5.9277504E19",
  "5.9277504E19" },

{ "-4.7174987E-21", "2.5545484E19",
  "2.5545484E19" },

{ "-8.818029E-21", "1.2602901E19",
  "1.2602901E19" },

{ "-1.2268113E-21", "-9.071741E19",
  "-9.071741E19" },

{ "-7.0568975E-21", "-6.9825405E19",
  "-6.9825405E19" },

{ "8.723312E-21", "-5.802767E19",
  "-5.802767E19" },

{ "7.1661314E-21", "4.10364E-21",
  "1.1269772E-20" },

{ "8.181265E-21", "-4.6898657E-21",
  "3.4913997E-21" },

{ "-8.570217E-21", "-5.5145446E-21",
  "-1.4084761E-20" },

{ "1.3507604E-23", "-7.152723E-21",
  "-7.139215E-21" },

{ "-7.859527E-21", "-9.369602E-21",
  "-1.7229128E-20" },

{ "-4.9014434E-21", "1.4580911E-21",
  "-3.443352E-21" },

};