From 7c0ed782e422847e6e5a19c0ebd1b5abe38ef48b Mon Sep 17 00:00:00 2001 From: carm Date: Sun, 22 Feb 2015 20:29:13 -0500 Subject: [PATCH] make some tests more random --- src/data/CCRingBuffer.ml | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/src/data/CCRingBuffer.ml b/src/data/CCRingBuffer.ml index 3dc37a1b..dde33241 100644 --- a/src/data/CCRingBuffer.ml +++ b/src/data/CCRingBuffer.ml @@ -421,13 +421,13 @@ struct b.start <- 0; () -(*$T - let s = Bytes.of_string "hello world" in \ +(*$Q + Q.printable_string (fun s -> \ let s_len = Bytes.length s in \ let b = ByteBuffer.create s_len in \ ByteBuffer.blit_from b s 0 s_len; \ ByteBuffer.clear b; \ - ByteBuffer.length b = 0 + ByteBuffer.length b = 0) *) @@ -435,13 +435,13 @@ struct clear b; b.buf <- Array.empty -(*$T - let s = Bytes.of_string "hello world" in \ +(*$Q + Q.printable_string (fun s -> \ 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 + ByteBuffer.length b = 0 && ByteBuffer.capacity b = 0) *)