From 8a62780b9df4d2584e41cdd42cab92fddcd75b31 Mon Sep 17 00:00:00 2001 From: Claire Wolf Date: Tue, 24 Mar 2020 17:12:12 +0100 Subject: [PATCH] Fix primegen example Signed-off-by: Claire Wolf --- docs/examples/puzzles/primegen.sby | 1 + 1 file changed, 1 insertion(+) 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 -- 2.30.2