From eab290581be7e3c0f504044731c076f858d24e61 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Tue, 23 Jul 2019 23:02:40 +0200 Subject: Remove old way of running tests --- README.md | 13 ------------- 1 file changed, 13 deletions(-) diff --git a/README.md b/README.md index 6dc108b..c1332cc 100644 --- a/README.md +++ b/README.md @@ -107,19 +107,6 @@ cabal v2-build This should not have to download any extra dependencies and just have to build the actual project itself. -## Running tests - -There are two test-suites that currently test the library. One of the -test-suites tests the random code generation and generation of the acyclic -graph. It also contains some property based tests for this. The other test-suite -uses `doctest` to test the examples that are in the documentation. - -To run the test-suites: - -``` -stack test -``` - ## Configuration VeriFuzz can be configured using a [TOML](https://github.com/toml-lang/toml) -- cgit