/** * Replacement function for nextDouble * * @return a float. */ public double nextDouble() { return org.evosuite.runtime.Random.nextDouble(); }
/** * Replacement function for nextDouble * * @return a float. */ public double nextDouble() { return org.evosuite.runtime.Random.nextDouble(); }
/** * Replacement function for nextGaussian * * @return a double. */ public static double nextGaussian() { wasAccessed = true; return nextDouble(); }