From c286789e5c3c0bc0332781250d35353e215cd7c1 Mon Sep 17 00:00:00 2001
From: carm <carmelo.piccione@gmail.com>
Date: Thu, 19 Feb 2015 23:42:54 -0500
Subject: [PATCH] update testing instructions

---
 README.md | 13 ++++---------
 1 file changed, 4 insertions(+), 9 deletions(-)

diff --git a/README.md b/README.md
index bb8bcd40..842ccfcc 100644
--- a/README.md
+++ b/README.md
@@ -182,16 +182,11 @@ branch `stable` it is not necessary.
 
     $ make
 
-To build and run tests (requires `oUnit` and `qtest`):
+To build and run tests (requires `oUnit`, `qtest`, and `check`):
 
-    $ opam install oUnit
-    $ make tests
-    $ ./tests.native
-
-and
-
-    $ opam install qtest
-    $ make qtest
+    $ opam install oUnit qtest qcheck
+    $ ./configure --enable-tests
+    $ make test
 
 To build the small benchmarking suite (requires `benchmark`):