From d8c2bd9da582a79857810a2e46348d0f0161cf25 Mon Sep 17 00:00:00 2001
From: carm <carmelo.piccione@gmail.com>
Date: Sun, 22 Feb 2015 18:53:16 -0500
Subject: [PATCH] ringbuffer reset qtest

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

diff --git a/src/data/CCRingBuffer.ml b/src/data/CCRingBuffer.ml
index b68d803d..2dae025a 100644
--- a/src/data/CCRingBuffer.ml
+++ b/src/data/CCRingBuffer.ml
@@ -370,6 +370,16 @@ struct
     clear b;
     b.buf <- Array.empty
 
+(*$T
+ let s = Bytes.of_string "hello world" in \
+ let s_len = Bytes.length s in \
+ let b = ByteBuffer.create s_len in \
+ ByteBuffer.blit_from b s 0 s_len; \
+ ByteBuffer.reset b; \
+ ByteBuffer.length b = 0 && ByteBuffer.capacity b = 0
+ *)
+
+
   let is_empty b = b.start = b.stop
 
   let take_front b =