From a2a6d282298e6a1096510f286a7775542471af9f Mon Sep 17 00:00:00 2001
From: carm <carmelo.piccione@gmail.com>
Date: Sun, 22 Feb 2015 18:28:45 -0500
Subject: [PATCH] blit into qtest

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

diff --git a/src/data/CCRingBuffer.ml b/src/data/CCRingBuffer.ml
index e3b2e806..3be95455 100644
--- a/src/data/CCRingBuffer.ml
+++ b/src/data/CCRingBuffer.ml
@@ -341,6 +341,16 @@ struct
       end
     end
 
+  (*$Q
+    Q.printable_string (fun s -> \
+    let b = ByteBuffer.create (Bytes.length s) in \
+    ByteBuffer.blit_from b s 0 (Bytes.length s); \
+    let to_buf = Bytes.create (Bytes.length s) in \
+    let len = ByteBuffer.blit_into b to_buf 0 (Bytes.length s) in \
+    to_buf = s && len = Bytes.length s)
+  *)
+
+
   let clear b =
     b.stop <- 0;
     b.start <- 0;