diff --git a/docs/examples/fifo/fifo.sh b/docs/examples/fifo/fifo.sh
new file mode 100644
index 0000000..adfe6d2
--- /dev/null
+++ b/docs/examples/fifo/fifo.sh
@@ -0,0 +1,8 @@
+#!/bin/bash
+
+python3 $SBY_MAIN -f fifo.sby && python3 $SBY_MAIN -f fifo.sby nofullskip
+
+if [[ $? -ne 2 ]] ; then
+    echo "Unexpected result"
+    exit 1
+fi
diff --git a/docs/examples/fifo/golden/fifo.sby b/docs/examples/fifo/golden/fifo.sby
index d94789c..605307b 100644
--- a/docs/examples/fifo/golden/fifo.sby
+++ b/docs/examples/fifo/golden/fifo.sby
@@ -17,6 +17,7 @@ mode bmc
 --
 bigtest: depth 120
 ~bigtest: depth 10
+nofullskip: expect fail
 
 [engines]
 smtbmc boolector