tests: Do not run the same SBY task multiple times in parallel

docs/examples/fifo/fifo.sh

@@ -1,13 +0,0 @@
-#!/bin/bash
-
-python3 $SBY_MAIN -f fifo.sby basic cover noverific
-
-if [[ $? -ne 0 ]] ; then
-    exit 1
-fi
-
-python3 $SBY_MAIN -f fifo.sby nofullskip
-
-if [[ $? -ne 2 ]] ; then
-    exit 1
-fi

docs/examples/fifo/fifo_extra_tests.sby

@@ -0,0 +1,18 @@
+--pycode-begin--
+# This is for our test infrastructure and not part of the example
+
+# Read fifo.sby and patch it on the fly:
+for line in open("fifo.sby"):
+    line = line.rstrip()
+
+    # change the tasks to run as tests
+    if line.endswith(": default"):
+        line = "nofullskip noverific : default"
+
+    output(line)
+
+    # add expect fail to the failing tasks
+    if line == "[options]":
+        output("nofullskip: expect fail")
+
+--pycode-end--