From 6d728d5ce73f2f1b73cef7fedd953edf3fa799e6 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Tue, 18 Apr 2017 14:05:55 +0200
Subject: [PATCH] add a small test

---
 src/core/CCList.ml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/core/CCList.ml b/src/core/CCList.ml
index 9ac2f6b7..5d84d136 100644
--- a/src/core/CCList.ml
+++ b/src/core/CCList.ml
@@ -359,6 +359,13 @@ let combine l1 l2 =
   combine (1 -- 100_000) (1 -- 100_000) = List.combine (1 -- 100_000) (1 -- 100_000)
 *)
 
+(*$Q
+  Q.(let p = small_list int in pair p p)(fun (l1,l2) -> \
+    if List.length l1=List.length l2 \
+    then CCList.combine l1 l2 = List.combine l1 l2 \
+    else Q.assume_fail() )
+  *)
+
 let return x = [x]
 
 let (>>=) l f = flat_map f l