diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-07-23 23:02:40 +0200 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-07-23 23:02:40 +0200 |
commit | eab290581be7e3c0f504044731c076f858d24e61 (patch) | |
tree | db02e1fc9be795ade622c6561e97363324bdcf82 | |
parent | 5af8869a15a631077dffe308e07f335cb859137a (diff) | |
download | verismith-eab290581be7e3c0f504044731c076f858d24e61.tar.gz verismith-eab290581be7e3c0f504044731c076f858d24e61.zip |
Remove old way of running tests
-rw-r--r-- | README.md | 13 |
1 files changed, 0 insertions, 13 deletions
@@ -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) |