From 01b1f530dfce9d6dc9aac18ae1a6e0738d8e1887 Mon Sep 17 00:00:00 2001 From: mdw Date: Sun, 25 Jun 2000 12:58:34 +0000 Subject: [PATCH] New tests for bugs. --- tests/mptext | 62 ++++++++++++++++++++++++++++++++---------------------------- tests/mpx | 9 ++++++++- 2 files changed, 41 insertions(+), 30 deletions(-) diff --git a/tests/mptext b/tests/mptext index 4c20983..973a0ad 100644 --- a/tests/mptext +++ b/tests/mptext @@ -1,37 +1,41 @@ # Test vectors for MP textual I/O # -# $Id: mptext,v 1.3 2000/06/17 12:11:34 mdw Exp $ +# $Id: mptext,v 1.4 2000/06/25 12:58:34 mdw Exp $ mptext-ascii { - # --- Perfectly valid things --- - - 10 0 10 0; - 0 0 10 0; - 10 52 10 52; - 10 654365464655464577673765769678 10 654365464655464577673765769678; - 10 654365464655464577673765769678 16 8425e6d06f272b9a2d73ed1ce; - 16 8425E6D06F272B9A2D73ED1CE 10 654365464655464577673765769678; - 0 654365464655464577673765769678 16 8425e6d06f272b9a2d73ed1ce; - 0 16_8425E6D06F272B9A2D73ED1CE 10 654365464655464577673765769678; - 0 -0x8425E6D06F272B9A2D73ED1CE 10 -654365464655464577673765769678; - 8 -366570443501403714657464766613 10 -596569802840985608098409867; - 0 0366570443501403714657464766613 10 596569802840985608098409867; - - - # --- Bogus things --- - - 10 "" 0 0; # Empty string fails - 10 foo 0 0; # Non-numeric character - 10 134f 10 134; # Stop parsing when reaching `f' - 4 12345 10 27; # Stop parsing when reaching `4' - 0 37_ 10 37; # 37 is an invalid base, so stop at `_' - 0 36_ 0 0; # 36 is a valid base, so restart and fail - - # --- Bugs --- - - 16 -9802d5c5d5a73f9d4e694a8920f95231b4017f3ec6a4654ace3fa3d85879e5964dade0e051d57f13c275dab1df3da5331f39271efb2792d1dad4460fd5eb5c21fbf355456f523e5631e623074ff9b3e85cf5e0a9336c8d8b8621b24c4e625800ee0152d12c8e22658a66ade38cb4453ab6e4958114717355186649a6cc20d9f5ae2207f99814965035072a9f2121c8f9dd22ab134181378906291aae97287b62a2f592bbceb4198c9cd78e1968bf1e16865c3c6ce9c777232f186b5da240a24523a07faca9de44eba510c91917e099372e67a6a66e93fe7aaefcb9c5485e1a889eae721ab6407586880a95575a968b43bdf50323627aa0fcddfa4e198b0008 - 10 -74959454570640520505374182178324326240748657042677990093617716411759477136824854815262670168473667077524864904515489090301434501507378472350618141578200289566815110468728966378289347050752371322168328511598641143081017162500179880923097593329564317427467179672704707842937085621549781627579801356509572397210965270406925309382945647493757499822518272539171346319468210919037390479279679328187057939609889863122790083219768061816093131875491575840052493376341193028052061557296969558099473333023971577236615940525630787016398581105441977909848659239970133974969366933817929047771871736452423855320657946133173829640; + # --- Perfectly valid things --- + + 10 0 10 0; + 0 0 10 0; + 10 52 10 52; + 10 654365464655464577673765769678 10 654365464655464577673765769678; + 10 654365464655464577673765769678 16 8425e6d06f272b9a2d73ed1ce; + 16 8425E6D06F272B9A2D73ED1CE 10 654365464655464577673765769678; + 0 654365464655464577673765769678 16 8425e6d06f272b9a2d73ed1ce; + 0 16_8425E6D06F272B9A2D73ED1CE 10 654365464655464577673765769678; + 0 -0x8425E6D06F272B9A2D73ED1CE 10 -654365464655464577673765769678; + 8 -366570443501403714657464766613 10 -596569802840985608098409867; + 0 0366570443501403714657464766613 10 596569802840985608098409867; + + + # --- Bogus things --- + + 10 "" 0 0; # Empty string fails + 10 foo 0 0; # Non-numeric character + 10 134f 10 134; # Stop parsing when reaching `f' + 4 12345 10 27; # Stop parsing when reaching `4' + 0 37_ 10 37; # 37 is an invalid base, so stop at `_' + 0 36_ 0 0; # 36 is a valid base, so restart and fail + + # --- Bugs --- + + 16 -9802d5c5d5a73f9d4e694a8920f95231b4017f3ec6a4654ace3fa3d85879e5964dade0e051d57f13c275dab1df3da5331f39271efb2792d1dad4460fd5eb5c21fbf355456f523e5631e623074ff9b3e85cf5e0a9336c8d8b8621b24c4e625800ee0152d12c8e22658a66ade38cb4453ab6e4958114717355186649a6cc20d9f5ae2207f99814965035072a9f2121c8f9dd22ab134181378906291aae97287b62a2f592bbceb4198c9cd78e1968bf1e16865c3c6ce9c777232f186b5da240a24523a07faca9de44eba510c91917e099372e67a6a66e93fe7aaefcb9c5485e1a889eae721ab6407586880a95575a968b43bdf50323627aa0fcddfa4e198b0008 + 10 -74959454570640520505374182178324326240748657042677990093617716411759477136824854815262670168473667077524864904515489090301434501507378472350618141578200289566815110468728966378289347050752371322168328511598641143081017162500179880923097593329564317427467179672704707842937085621549781627579801356509572397210965270406925309382945647493757499822518272539171346319468210919037390479279679328187057939609889863122790083219768061816093131875491575840052493376341193028052061557296969558099473333023971577236615940525630787016398581105441977909848659239970133974969366933817929047771871736452423855320657946133173829640; + + 10 687036505685680036980563991304827689190226068191165515873309582371531653761560838357887565473014960851061079052387145199258972778940173525017542879674305252823453991900595437468144352005006881129612951699750949026636206282574720840178116341517038998609517724307448384647380133273761360084019113505091720961437658149042479826982973196933684563380877276612883608481996579884762706391098995123384485837872544276099219443948234067623442105312332114374763392077663374681230289067615025968182722516808457505932863951619224171887832194148545132638772027329666389477813640620737624951105503846166715576529533580414958055708947608220960395455545922617914622611716584821091744228076205865701038484061060900340103461251087987631583104425599437283952841086221737575051158322973751353914369450945591184550003693808660890173148206999627057352641910478408389852121815588924208719373851205997267929487223022997903565246821511833717944887785333763131071163649350968541111796906733695518487580626938892775883629672280655177072837819344983336811201072380418330154409415723975489649421805372088286721361996667976678161505679350285875598457893785891475462099191282531966080162136450154198672623485698300307676277037616099696441730508788295411634665370788798384809584417102543248560317224205079917990766513568040641690632751952309869792602319263342525778046078743231821682847703178976601855555261436480615639995150308874740741630953255447186244703692652027199198662385455033073594432232250325046519267763604243367272471024553800469955272676941568451192546782745963075159357666087761637705388608592656535848292947073782242206595438203903079185128849386496430347274188109070907185471363018498891836986716946253163675821471661778024303689714601286352436391739170368727508436484115845640636653283093361670039386061546795520151041150800979484160765783927564359393959237330742523328888527872599693558141880251962681735003114604660394550415472363991770499647732372855076408144546777820449665557724138072899691283182780416000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 + 10 687036505685680036980563991304827689190226068191165515873309582371531653761560838357887565473014960851061079052387145199258972778940173525017542879674305252823453991900595437468144352005006881129612951699750949026636206282574720840178116341517038998609517724307448384647380133273761360084019113505091720961437658149042479826982973196933684563380877276612883608481996579884762706391098995123384485837872544276099219443948234067623442105312332114374763392077663374681230289067615025968182722516808457505932863951619224171887832194148545132638772027329666389477813640620737624951105503846166715576529533580414958055708947608220960395455545922617914622611716584821091744228076205865701038484061060900340103461251087987631583104425599437283952841086221737575051158322973751353914369450945591184550003693808660890173148206999627057352641910478408389852121815588924208719373851205997267929487223022997903565246821511833717944887785333763131071163649350968541111796906733695518487580626938892775883629672280655177072837819344983336811201072380418330154409415723975489649421805372088286721361996667976678161505679350285875598457893785891475462099191282531966080162136450154198672623485698300307676277037616099696441730508788295411634665370788798384809584417102543248560317224205079917990766513568040641690632751952309869792602319263342525778046078743231821682847703178976601855555261436480615639995150308874740741630953255447186244703692652027199198662385455033073594432232250325046519267763604243367272471024553800469955272676941568451192546782745963075159357666087761637705388608592656535848292947073782242206595438203903079185128849386496430347274188109070907185471363018498891836986716946253163675821471661778024303689714601286352436391739170368727508436484115845640636653283093361670039386061546795520151041150800979484160765783927564359393959237330742523328888527872599693558141880251962681735003114604660394550415472363991770499647732372855076408144546777820449665557724138072899691283182780416000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 + ; } mptext-bin-in { diff --git a/tests/mpx b/tests/mpx index eee85b6..db0230e 100644 --- a/tests/mpx +++ b/tests/mpx @@ -1,6 +1,6 @@ # Test vectors for low-level MP functions # -# $Id: mpx,v 1.5 2000/06/17 12:11:39 mdw Exp $ +# $Id: mpx,v 1.6 2000/06/25 12:58:34 mdw Exp $ # --- Load-store tests --- # @@ -760,4 +760,11 @@ udiv { 620d87bb63872a40fc2092b0ed7d3ec4b648be41 0155177e99a8a5113226ff8270 2ea2205327e66d75990cc999fc2380883ee4591a; + + # --- Bugs --- + + 1a923b3406cbe81b093ce418f6a73107f504502b2e3d1b200762fcf6062723de405cab0aea00000000000000000000000000000000 + 184f03e93ff9f4daa797ed6e38ed64bf6a1f010000000000000000 + 0117d3db34ad005954459be9abedd0e5deb4ea0000000000000000 + 00; } -- 2.11.0