From 67c39835c43f8df6dc58974b9bd45a0337ac1c27 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 24 Jan 2019 23:57:34 +0000 Subject: Add colon --- README.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'README.md') diff --git a/README.md b/README.md index a8c80d7..eaf88ff 100644 --- a/README.md +++ b/README.md @@ -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 -- cgit