cs3110 / textbook

The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"
Other
720 stars 132 forks source link

Issue on page /chapters/correctness/randomized.html #189

Open SarkParadj opened 3 weeks ago

SarkParadj commented 3 weeks ago

Not a real issue, and not a big issue...

The glitch is in the video (https://www.youtube.com/watch?v=62SYeSlSCNM), at around 5'10''.

The property "random_100s" is used for 1000 tests even though the random generator can only generate 30 different values.