random_int_multiple_attempts.gravity 1.0 KB

12345678910111213141516171819202122232425262728293031323334353637383940
  1. #unittest {
  2. name: "Int.random() test multiple calls of the same random() call";
  3. error: NONE;
  4. result: true;
  5. };
  6. func main() {
  7. // This test is intended to run the same random() call multiple times and
  8. // ensure that every single time, the random number that is generated is
  9. // within the bounds specified
  10. var min = 1
  11. var max = 3
  12. var r = Int.random(min, max)
  13. var b = r >= min and r <= max
  14. r = Int.random(min, max)
  15. b = r >= min and r <= max and b
  16. r = Int.random(min, max)
  17. b = r >= min and r <= max and b
  18. r = Int.random(min, max)
  19. b = r >= min and r <= max and b
  20. r = Int.random(min, max)
  21. b = r >= min and r <= max and b
  22. r = Int.random(min, max)
  23. b = r >= min and r <= max and b
  24. r = Int.random(min, max)
  25. b = r >= min and r <= max and b
  26. r = Int.random(min, max)
  27. b = r >= min and r <= max and b
  28. r = Int.random(min, max)
  29. b = r >= min and r <= max and b
  30. r = Int.random(min, max)
  31. b = r >= min and r <= max and b
  32. r = Int.random(min, max)
  33. b = r >= min and r <= max and b
  34. return b;
  35. }