diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2019-12-26 03:17:44 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2019-12-26 03:17:44 +0100 |
| commit | 6b626162208c22767cc21fa50cb8f304bc616789 (patch) | |
| tree | efc76d639b3548c858ff4311d998e3b3e7afd571 /experiments/instructions.org | |
| parent | 536947b4a1ae3b7bca7cf31dcfbdbe136773f315 (diff) | |
| download | verismith-6b626162208c22767cc21fa50cb8f304bc616789.tar.gz verismith-6b626162208c22767cc21fa50cb8f304bc616789.zip | |
Update instructions
Diffstat (limited to 'experiments/instructions.org')
| -rw-r--r-- | experiments/instructions.org | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/experiments/instructions.org b/experiments/instructions.org index 29bec30..7669c52 100644 --- a/experiments/instructions.org +++ b/experiments/instructions.org @@ -4,9 +4,9 @@ The version of Verismith that is assumed to be used is Verismith 0.6.0.2, which is also available on [hackage](https://hackage.haskell.org/package/verismith-0.6.0.2) using: -```shell +#+begin_src cabal install verismith -``` +#+end_src ** Finding failures in Yosys 0.8 |