From 9e0908dc2d23a213b74f0577885899910e1a7dec Mon Sep 17 00:00:00 2001
From: carm <carmelo.piccione@gmail.com>
Date: Sun, 22 Feb 2015 18:55:36 -0500
Subject: [PATCH] ringbuffer isempty qtest

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

diff --git a/src/data/CCRingBuffer.ml b/src/data/CCRingBuffer.ml
index 2dae025a..f044fb9d 100644
--- a/src/data/CCRingBuffer.ml
+++ b/src/data/CCRingBuffer.ml
@@ -382,6 +382,16 @@ struct
 
   let is_empty b = b.start = b.stop
 
+(*$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.skip b s_len; \
+ ByteBuffer.is_empty b
+ *)
+
+
   let take_front b =
     if b.start = b.stop then raise Empty;
     let c = b.buf.(b.start) in