From 65d7c6d3ae765ef24b5d013764117a66eae299f9 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Wed, 16 Sep 2015 09:58:41 +0200
Subject: [PATCH] update test

---
 src/sexp/CCSexpM.ml | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/sexp/CCSexpM.ml b/src/sexp/CCSexpM.ml
index d6e8d17d..52d0eb40 100644
--- a/src/sexp/CCSexpM.ml
+++ b/src/sexp/CCSexpM.ml
@@ -358,10 +358,15 @@ let parse_string s : t or_error =
       | `List l -> Q.Iter.map mklist (Q.Shrink.list ~shrink l)
     in
     Q.make ~print ~small ~shrink gen
+
+  let rec sexp_valid  = function
+    | `Atom "" -> false
+    | `Atom _ -> true
+    | `List l -> List.for_all sexp_valid l
 *)
 
 (*$Q & ~count:30
-    sexp_gen (fun s -> to_string s |> parse_string = `Ok s)
+    sexp_gen (fun s -> sexp_valid s ==> (to_string s |> parse_string = `Ok s))
 *)
 
 let parse_chan ?bufsize ic =