From da188ec911fbbf41739b2832d47e5a2d31b477f4 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Wed, 21 Oct 2015 14:53:41 +0200
Subject: [PATCH] tests

---
 src/core/CCVector.ml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/core/CCVector.ml b/src/core/CCVector.ml
index acf8d8ca..792d178e 100644
--- a/src/core/CCVector.ml
+++ b/src/core/CCVector.ml
@@ -162,6 +162,11 @@ let push v x =
     then _grow v x;
   push_unsafe_ v x
 
+(*$T
+  let v = create () in push v 1; to_list v = [1]
+  let v = of_list [1;2;3] in push v 4; to_list v = [1;2;3;4]
+*)
+
 (** add all elements of b to a *)
 let append a b =
   if _empty_array a