From d66a5bc86f03ff1d0213fd7f41dc7b2945a1ca03 Mon Sep 17 00:00:00 2001
From: carm <carmelo.piccione@gmail.com>
Date: Sun, 22 Feb 2015 19:57:17 -0500
Subject: [PATCH] ringbuffer create qtest

---
 src/data/CCRingBuffer.ml | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/src/data/CCRingBuffer.ml b/src/data/CCRingBuffer.ml
index 98303005..77608728 100644
--- a/src/data/CCRingBuffer.ml
+++ b/src/data/CCRingBuffer.ml
@@ -199,6 +199,22 @@ struct
       buf = Array.empty
     }
 
+(*$Q
+  Q.small_int (fun i -> \
+  let i = abs i in \
+  let b = ByteBuffer.create i in \
+  let open ByteBuffer in \
+  b.size = i && b.bounded = false)
+  *)
+
+(*$Q
+  Q.small_int (fun i -> \
+  let i = abs i in \
+  let b = ByteBuffer.create ~bounded:true i in \
+  let open ByteBuffer in \
+  b.size = i && b.bounded = true)
+  *)
+
   let copy b =
     { b with buf=Array.copy b.buf; }