From: Claire Wolf <claire@symbioticeda.com>
Date: Tue, 24 Mar 2020 16:12:12 +0000 (+0100)
Subject: Fix primegen example
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8a62780b9df4d2584e41cdd42cab92fddcd75b31;p=SymbiYosys.git

Fix primegen example

Signed-off-by: Claire Wolf <claire@symbioticeda.com>
---

diff --git a/docs/examples/puzzles/primegen.sby b/docs/examples/puzzles/primegen.sby
index 9e6da21..20e5072 100644
--- a/docs/examples/puzzles/primegen.sby
+++ b/docs/examples/puzzles/primegen.sby
@@ -12,6 +12,7 @@ primes_fail: expect fail
 smtbmc --dumpsmt2 --progress --stbv z3
 
 [script]
+read -noverific
 read -formal primegen.sv
 primes_fail: chparam -set offset 7 primes
 primegen: prep -top primegen