diff --git a/fuzz/src/main/java/edu/berkeley/cs/jqf/fuzz/junit/quickcheck/FastSourceOfRandomness.java b/fuzz/src/main/java/edu/berkeley/cs/jqf/fuzz/junit/quickcheck/FastSourceOfRandomness.java index fd456e99c..c32d74742 100644 --- a/fuzz/src/main/java/edu/berkeley/cs/jqf/fuzz/junit/quickcheck/FastSourceOfRandomness.java +++ b/fuzz/src/main/java/edu/berkeley/cs/jqf/fuzz/junit/quickcheck/FastSourceOfRandomness.java @@ -110,7 +110,7 @@ public long nextLong(long min, long max) { } private int fastChooseIntInRange(int min, int max) { - int range = max - min; + int range = max - min + 1; // If range is too wide, overflow will make it negative if (range > 0) {