From 93d8ef966323bf00c734704f0e4edc14f8a85be4 Mon Sep 17 00:00:00 2001
From: KrystalDelusion <krystinedawn@yosyshq.com>
Date: Tue, 2 Aug 2022 10:12:33 +1200
Subject: [PATCH] Fixed bigtest

Accidentally broke it in cc27d27 (this is why regular testing is important).
---
 docs/examples/fifo/golden/fifo.sby | 1 -
 docs/examples/fifo/golden/fifo.sv  | 2 +-
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/docs/examples/fifo/golden/fifo.sby b/docs/examples/fifo/golden/fifo.sby
index 605307b..824f359 100644
--- a/docs/examples/fifo/golden/fifo.sby
+++ b/docs/examples/fifo/golden/fifo.sby
@@ -3,7 +3,6 @@ basic bmc
 nofullskip prove
 cover
 bigtest cover
-basic cover : default
 
 [options]
 cover:
diff --git a/docs/examples/fifo/golden/fifo.sv b/docs/examples/fifo/golden/fifo.sv
index 18eb984..2ef5cca 100644
--- a/docs/examples/fifo/golden/fifo.sv
+++ b/docs/examples/fifo/golden/fifo.sv
@@ -31,7 +31,7 @@ module fifo
 );
     // fifo storage
     // async read, sync write
-    wire [3:0] waddr, raddr;
+    wire [ADDR_BITS-1:0] waddr, raddr;
     reg [7:0] data [MAX_DATA-1:0];
     always @(posedge clk)
         if (wen)