diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2019-01-24 23:57:34 +0000 |
---|---|---|
committer | Yann Herklotz <ymherklotz@gmail.com> | 2019-01-24 23:57:34 +0000 |
commit | 67c39835c43f8df6dc58974b9bd45a0337ac1c27 (patch) | |
tree | 3ae71f1d60ded50a63fa8df0f4eaa417f9582fec | |
parent | 74dffb0dafa727d6175b4f515bda7013aa9a606b (diff) | |
download | verismith-67c39835c43f8df6dc58974b9bd45a0337ac1c27.tar.gz verismith-67c39835c43f8df6dc58974b9bd45a0337ac1c27.zip |
Add colon
-rw-r--r-- | README.md | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -17,19 +17,19 @@ library (in the [src](/src) folder). To build the executable, you will need directly using [cabal-install](https://www.haskell.org/cabal/download.html) is possible but not recommended and not directly supported. -To build the executable +To build the executable: ``` stack build ``` -To run the executable +To run the executable: ``` stack exec verifuzz ``` -To install the executable (which defaults to installing it in `~/.local`) +To install the executable (which defaults to installing it in `~/.local`): ``` stack install @@ -42,7 +42,7 @@ 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 +To run the test-suites: ``` stack test |