From b2d0368e2680962419fdc9314f3987a84601ef90 Mon Sep 17 00:00:00 2001
From: KrystalDelusion <krystinedawn@yosyshq.com>
Date: Mon, 1 Aug 2022 22:06:03 +1200
Subject: [PATCH] Testing fifo things in CI

Turns out the bigtest golden ref is failing a_count_diff, need to fix that before removing the default statement.

Base example code is fine.  New shell script to run default case and then nofullskip.
Expects returncode=2 after running nofullskip.
---
 docs/examples/fifo/fifo.sh         | 8 ++++++++
 docs/examples/fifo/golden/fifo.sby | 1 +
 2 files changed, 9 insertions(+)
 create mode 100644 docs/examples/fifo/fifo.sh

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