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 | |
| parent | 536947b4a1ae3b7bca7cf31dcfbdbe136773f315 (diff) | |
| download | verismith-6b626162208c22767cc21fa50cb8f304bc616789.tar.gz verismith-6b626162208c22767cc21fa50cb8f304bc616789.zip | |
Update instructions
| -rw-r--r-- | experiments/instructions.md | 12 | ||||
| -rw-r--r-- | experiments/instructions.org | 4 |
2 files changed, 7 insertions, 9 deletions
diff --git a/experiments/instructions.md b/experiments/instructions.md index bf21694..e66b4f5 100644 --- a/experiments/instructions.md +++ b/experiments/instructions.md @@ -1,23 +1,21 @@ # Table of Contents -1. [Introduction](#orgdaf6bde) -2. [Finding failures in Yosys 0.8](#org964ab8d) +1. [Introduction](#org19a28a2) +2. [Finding failures in Yosys 0.8](#org7dbedb0) -<a id="orgdaf6bde"></a> +<a id="org19a28a2"></a> # Introduction 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 -cabal install verismith -\`\`\` + cabal install verismith -<a id="org964ab8d"></a> +<a id="org7dbedb0"></a> # Finding failures in Yosys 0.8 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 |