From 4cfb82a3fe18238a5f544c750c4b164446fe0c05 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Mon, 25 Apr 2016 11:51:38 +0200
Subject: [PATCH] add test

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

diff --git a/src/core/CCList.ml b/src/core/CCList.ml
index 80b8578f..92c2747d 100644
--- a/src/core/CCList.ml
+++ b/src/core/CCList.ml
@@ -818,6 +818,12 @@ let range_by ~step i j =
   range_by ~step:max_int 0 2 = [0]
 *)
 
+(*$Q
+  Q.(pair small_int small_int) (fun (i,j) -> \
+    let i = min i j and j = max i j in \
+    range_by ~step:1 i j = range i j)
+*)
+
 let range i j =
   let rec up i j acc =
     if i=j then i::acc else up i (j-1) (j::acc)