From 6b626162208c22767cc21fa50cb8f304bc616789 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 26 Dec 2019 03:17:44 +0100 Subject: Update instructions --- experiments/instructions.org | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'experiments/instructions.org') 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 -- cgit