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 /README.md | |
| parent | 5af8869a15a631077dffe308e07f335cb859137a (diff) | |
| download | verismith-eab290581be7e3c0f504044731c076f858d24e61.tar.gz verismith-eab290581be7e3c0f504044731c076f858d24e61.zip | |
Remove old way of running tests
Diffstat (limited to 'README.md')
| -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) |