From d58374232a41bf3b7d321550b50fb1cff9ff7d36 Mon Sep 17 00:00:00 2001
From: ENGO150 <v.smejkal06@gmail.com>
Date: Thu, 9 Jan 2025 15:42:14 +0100
Subject: [PATCH] running workflow file tests in gdb

---
 .github/workflows/why2-core-test.yml   | 5 +++--
 .github/workflows/why2-logger-test.yml | 5 +++--
 .github/workflows/why2-project.yml     | 3 ++-
 3 files changed, 8 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/why2-core-test.yml b/.github/workflows/why2-core-test.yml
index 502d778..7a76ff4 100644
--- a/.github/workflows/why2-core-test.yml
+++ b/.github/workflows/why2-core-test.yml
@@ -33,6 +33,7 @@ jobs:
         include:
           - os: ubuntu-latest
             output: ./out/why2-core-test
+            gdb: gdb -ex "run" -ex "quit" --batch
             valgrind: valgrind --leak-check=full --show-leak-kinds=reachable --track-origins=yes -s
             configure: ./configure.sh
             app: why2
@@ -68,10 +69,10 @@ jobs:
         run: make test_core
 
       - name: Test Lib
-        run: ./${{ matrix.output }}
+        run: ${{ matrix.gdb }} ${{ matrix.output }}
 
       - name: Test App
-        run: ${{ matrix.app }}
+        run: ${{ matrix.gdb }} ${{ matrix.app }}
 
       - name: Test Lib by Valgrind
         run: ${{ matrix.valgrind }} ${{ matrix.output }}
\ No newline at end of file
diff --git a/.github/workflows/why2-logger-test.yml b/.github/workflows/why2-logger-test.yml
index 49a6bf3..0e27691 100644
--- a/.github/workflows/why2-logger-test.yml
+++ b/.github/workflows/why2-logger-test.yml
@@ -33,6 +33,7 @@ jobs:
         include:
           - os: ubuntu-latest
             output: ./out/why2-logger-test
+            gdb: gdb -ex "run" -ex "quit" --batch
             configure: ./configure.sh
             valgrind: valgrind --leak-check=full --show-leak-kinds=reachable --track-origins=yes -s
             app: why2-logger
@@ -68,10 +69,10 @@ jobs:
         run: make test_logger
 
       - name: Test Lib
-        run: ./${{ matrix.output }}
+        run: ${{ matrix.gdb }} ${{ matrix.output }}
 
       - name: Test App
-        run: ${{ matrix.app }}
+        run: ${{ matrix.gdb }} ${{ matrix.app }}
 
       - name: Test Lib by Valgrind
         run: ${{ matrix.valgrind }} ${{ matrix.output }}
\ No newline at end of file
diff --git a/.github/workflows/why2-project.yml b/.github/workflows/why2-project.yml
index 48ca6b4..8ce5ec5 100644
--- a/.github/workflows/why2-project.yml
+++ b/.github/workflows/why2-project.yml
@@ -30,6 +30,7 @@ jobs:
         os:  [ ubuntu-latest ]
         include:
           - os: ubuntu-latest
+            gdb: gdb -ex "run" -ex "quit" --batch
             configure: ./configure.sh
             test: ./test
 
@@ -65,4 +66,4 @@ jobs:
         run: cc ${{ matrix.test }}.c -lwhy2 -Wall -o ${{ matrix.test }}
 
       - name: Run test
-        run: ./${{ matrix.test }}
\ No newline at end of file
+        run: ${{ matrix.gdb }} ./${{ matrix.test }}
\ No newline at end of file