From 323a6bb40afbc0a41a04dbf7d9efd7b12355f991 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 26 Mar 2018 11:35:21 -0500 Subject: [PATCH] test: regression test for #210 --- src/core/CCRandom.ml | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/core/CCRandom.ml b/src/core/CCRandom.ml index 2879540e..ded871ff 100644 --- a/src/core/CCRandom.ml +++ b/src/core/CCRandom.ml @@ -228,3 +228,8 @@ let uniformity_test ?(size_hint=10) k rng st = (*$T split_list run ~st:(QCheck_runner.random_state()) ( uniformity_test 50_000 (split_list 10 ~len:3) ) *) + +(*$R + let open Containers in + ignore @@ List.random_choose [1;2;3] (Random.get_state()) +*)