From c286789e5c3c0bc0332781250d35353e215cd7c1 Mon Sep 17 00:00:00 2001 From: carm Date: Thu, 19 Feb 2015 23:42:54 -0500 Subject: [PATCH 1/2] 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`): From c7bc99760aa19c2b4ff0886db2214e041908a938 Mon Sep 17 00:00:00 2001 From: carm Date: Thu, 19 Feb 2015 23:44:49 -0500 Subject: [PATCH 2/2] fix qcheck typo --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 842ccfcc..38b5a44b 100644 --- a/README.md +++ b/README.md @@ -182,7 +182,7 @@ branch `stable` it is not necessary. $ make -To build and run tests (requires `oUnit`, `qtest`, and `check`): +To build and run tests (requires `oUnit`, `qtest`, and `qcheck`): $ opam install oUnit qtest qcheck $ ./configure --enable-tests