diff options
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 |