added valgrind test to workflows

.github/workflows/why2-core-test.yml

@@ -33,6 +33,7 @@ jobs:
         include:
           - os: ubuntu-latest
             output: ./out/why2-core-test
+            valgrind: valgrind --leak-check=full --show-leak-kinds=reachable --track-origins=yes -s
             configure: configure.sh
             app: why2
 
@@ -64,4 +65,7 @@ jobs:
         run: ./${{ matrix.output }}
 
       - name: Test App
-        run: ${{ matrix.app }}
+        run: ${{ matrix.app }}
+
+      - name: Test Lib by Valgrind
+        run: ${{ matrix.valgrind }} ${{ matrix.output }}

.github/workflows/why2-logger-test.yml

@@ -34,7 +34,7 @@ jobs:
           - os: ubuntu-latest
             output: ./out/why2-logger-test
             configure: configure.sh
-            app: why2
+            valgrind: valgrind --leak-check=full --show-leak-kinds=reachable --track-origins=yes -s
 
     steps:
       - name: Checkout repository
@@ -61,4 +61,7 @@ jobs:
         run: make testLogger
 
       - name: Test Lib
-        run: ./${{ matrix.output }}
+        run: ./${{ matrix.output }}
+
+      - name: Test Lib by Valgrind
+        run: ${{ matrix.valgrind }} ${{ matrix.output }}