diff --git a/README.md b/README.md index bb8bcd40..38b5a44b 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 `qcheck`): - $ 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`):