1 /*
   2  * Copyright 2019 Raffaello Giulietti
   3  *
   4  * Permission is hereby granted, free of charge, to any person obtaining a copy
   5  * of this software and associated documentation files (the "Software"), to deal
   6  * in the Software without restriction, including without limitation the rights
   7  * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
   8  * copies of the Software, and to permit persons to whom the Software is
   9  * furnished to do so, subject to the following conditions:
  10  *
  11  * The above copyright notice and this permission notice shall be included in
  12  * all copies or substantial portions of the Software.
  13  *
  14  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
  15  * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
  16  * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
  17  * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
  18  * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
  19  * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
  20  * THE SOFTWARE.
  21  */
  22 
  23 import jdk.internal.math.DoubleToDecimalChecker;
  24 import jdk.test.lib.RandomFactory;
  25 
  26 /*
  27  * @test
  28  * @bug 8202555
  29  * @author Raffaello Giulietti
  30  * @key randomness
  31  *
  32  * @modules java.base/jdk.internal.math
  33  * @library /test/lib
  34  * @library java.base
  35  * @build jdk.test.lib.RandomFactory
  36  * @build java.base/jdk.internal.math.*
  37  * @run main DoubleToDecimalTest 1_000_000
  38  */
  39 public class DoubleToDecimalTest {
  40 
  41     private static final int RANDOM_COUNT = 100_000;
  42 
  43     public static void main(String[] args) {
  44         int count = RANDOM_COUNT;
  45         if (args.length == 0) {
  46             DoubleToDecimalChecker.test(count, RandomFactory.getRandom());
  47             return;
  48         }
  49         try {
  50             count = Integer.parseInt(args[0].replace("_", ""));
  51         } catch (NumberFormatException ignored) {
  52         }
  53         DoubleToDecimalChecker.test(count, RandomFactory.getRandom());
  54     }
  55 
  56 }