From f5257011f6ec9a4ad82925d1f73b81205670b160 Mon Sep 17 00:00:00 2001
From: KrystalDelusion <krystinedawn@yosyshq.com>
Date: Tue, 31 May 2022 11:31:20 +1200
Subject: [PATCH] Specifying z3 to support minimum required install

---
 docs/examples/fifo/fifo.sby | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/examples/fifo/fifo.sby b/docs/examples/fifo/fifo.sby
index d6f6c27..91cb3c5 100644
--- a/docs/examples/fifo/fifo.sby
+++ b/docs/examples/fifo/fifo.sby
@@ -11,7 +11,7 @@ mode prove
 --
 
 [engines]
-cover: smtbmc
+cover: smtbmc z3
 prove: abc pdr
 
 [script]