From 2cd8b8fa132b11b57836d33b5ebbeab0bb0ce9f0 Mon Sep 17 00:00:00 2001
From: Drup <drupyog@zoho.com>
Date: Wed, 28 Mar 2018 21:53:42 +0200
Subject: [PATCH] Add tests.

---
 src/Sequence.ml | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/src/Sequence.ml b/src/Sequence.ml
index 2372a55..28ca408 100644
--- a/src/Sequence.ml
+++ b/src/Sequence.ml
@@ -1321,6 +1321,14 @@ let sample k seq =
     if !i < k then Array.sub a 0 (!i + 1)
     else a
 
+(*$QR
+  Q.(pair (list int) (1 -- 20)) (fun (l, n) ->
+    let seq = of_list l in
+    let a = sample n seq in
+    (Array.for_all (fun x -> exists ((=) x) seq) a)
+    && (Array.length a = Pervasives.min (length seq) n) )
+*)
+
 (** {2 Infix functions} *)
 
 module Infix = struct