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.md | 12 +++++------- 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) - + # Introduction The version of Verismith that is assumed to be used is Verismith 0.6.0.2, which is also available on [hackage]() using: -\`\`\`shell -cabal install verismith -\`\`\` + cabal install verismith - + # 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 -- cgit