Fix testing README with tuttest (#2573)

This commit addresses the fact that each run section is performed in
different bash. It also adds `-e` and `-o pipefail` to make sure we will
properly fail CI while testing.

.ci.yml

@@ -315,21 +315,21 @@ check_README:
     - echo "##/ Set pipefail \##"
     - set -o pipefail
     - echo "##/ Install dependencies \##"
-    - tuttest README.md install-dependencies | bash -
+    - tuttest README.md install-dependencies | bash -eo pipefail -
     - echo "##/ Test make install \##"
-    - tuttest README.md make-install | bash -
+    - tuttest README.md make-install | bash -eo pipefail -
     - echo "##/ Test make tools \##"
-    - tuttest README.md get-haskell | bash -
-    - tuttest README.md install-tools | bash -
+    - tuttest README.md get-haskell | bash -eo pipefail -
+    - tuttest README.md install-tools | bash -eo pipefail -
     - echo "##/ Test counter.sv synthesis \##"
     - tuttest README.md counter.sv > counter.sv
     - tuttest README.md synthesis-example  | grep ">" | cut -d ">" -f 2 | synlig
     - echo "##/ Test parsing multiple files \##"
     - tuttest README.md example-multiple-files | synlig
     - echo "##/ Test testing scripts commands \##"
-    - tuttest README.md formal-verification-help | bash -
-    - tuttest README.md large-designs-help | bash -
-    - tuttest README.md parsing-tests-help | bash -
+    - tuttest README.md formal-verification-help | bash -eo pipefail -
+    - tuttest README.md large-designs-help | bash -eo pipefail -
+    - tuttest README.md parsing-tests-help | bash -eo pipefail -
 
 bsg_test_diff:
   stage: "Optional tests"

.github/workflows/main.yml

@@ -397,37 +397,40 @@ jobs:
           apt install -y --no-install-recommends pipx git wget
           pipx install git+https://github.com/antmicro/tuttest#egg=tuttest
 
-      - name: Set Pipefail
-        run: |
-          set -o pipefail
 
       - name: Install Dependencies
         run: |
-          tuttest README.md install-dependencies | bash -
+          set -o pipefail
+          tuttest README.md install-dependencies | bash -eo pipefail -
 
       - name: Test Synlig Installation
         run: |
-          tuttest README.md make-install | bash -
+          set -o pipefail
+          tuttest README.md make-install | bash -eo pipefail -
 
       - name: Test Tools Installation
         run: |
-          tuttest README.md get-haskell | bash -
-          tuttest README.md install-tools | bash -
+          set -o pipefail
+          tuttest README.md get-haskell | bash -eo pipefail -
+          tuttest README.md install-tools | bash -eo pipefail -
 
       - name: Test counter.sv Synthesis
         run: |
+          set -o pipefail
           tuttest README.md counter.sv > counter.sv
           tuttest README.md synthesis-example  | grep ">" | cut -d ">" -f 2 | synlig
 
       - name: Test Parsing Multiple Files
         run: |
+          set -o pipefail
           tuttest README.md example-multiple-files | synlig
 
       - name: Test Testing Scripts Commands
         run: |
-          tuttest README.md formal-verification-help | bash -
-          tuttest README.md large-designs-help | bash -
-          tuttest README.md parsing-tests-help | bash -
+          set -o pipefail
+          tuttest README.md formal-verification-help | bash -eo pipefail -
+          tuttest README.md large-designs-help | bash -eo pipefail -
+          tuttest README.md parsing-tests-help | bash -eo pipefail -
 
   test-package:
     name: Verify README Correctness (Download And Run Release)
@@ -450,20 +453,15 @@ jobs:
           apt install -y --no-install-recommends pipx git wget
           pipx install git+https://github.com/antmicro/tuttest#egg=tuttest
 
-      - name: Set Pipefail
-        run: |
-          set -o pipefail
-
       - name: Install Dependencies
         run: |
-          tuttest README.md install-dependencies-package | bash -
+          set -o pipefail
+          tuttest README.md install-dependencies-package | bash -eo pipefail -
 
-      - name: Download Release And Set PATH
+      - name: Download Release, Set PATH and Test counter.sv Synthesis
         run: |
-          tuttest README.md download-release | bash -
+          set -o pipefail
+          tuttest README.md download-release | bash -eo pipefail -
           eval $(tuttest README.md path-setup)
-
-      - name: Test counter.sv Synthesis
-        run: |
           tuttest README.md counter.sv > counter.sv
           tuttest README.md synthesis-example  | grep ">" | cut -d ">" -f 2 | synlig