P5
==== Here is the minimized test demonstrating the bug ====
import java.lang.Bignum;
class java_lang_Bignum_random {
public static void main(String args[]) {
Bignum b=Bignum.random(-1,new java.util.Random());
System.out.println(b);
}
}
==== Here is the example of the test output ====
65553821
import java.lang.Bignum;
class java_lang_Bignum_random {
public static void main(String args[]) {
Bignum b=Bignum.random(-1,new java.util.Random());
System.out.println(b);
}
}
==== Here is the example of the test output ====
65553821