ENGO150/WHY2
Template
1
1
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Activity

running workflow file tests in gdb

Browse Source
This commit is contained in:
Václav Šmejkal 2025-01-09 15:42:14 +01:00
parent 4244d2687e
commit d58374232a
Signed by: ENGO150
GPG Key ID: 4A57E86482968843
3 changed files with 8 additions and 5 deletions

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

@ -33,6 +33,7 @@ jobs:
include: include:
- os: ubuntu-latest - os: ubuntu-latest
output: ./out/why2-core-test 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 valgrind: valgrind --leak-check=full --show-leak-kinds=reachable --track-origins=yes -s
configure: ./configure.sh configure: ./configure.sh
app: why2 app: why2
@ -68,10 +69,10 @@ jobs:
run: make test_core run: make test_core
- name: Test Lib - name: Test Lib
run: ./${{ matrix.output }} run: ${{ matrix.gdb }} ${{ matrix.output }}
- name: Test App - name: Test App
run: ${{ matrix.app }} run: ${{ matrix.gdb }} ${{ matrix.app }}
- name: Test Lib by Valgrind - name: Test Lib by Valgrind
run: ${{ matrix.valgrind }} ${{ matrix.output }} run: ${{ matrix.valgrind }} ${{ matrix.output }}

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

@ -33,6 +33,7 @@ jobs:
include: include:
- os: ubuntu-latest - os: ubuntu-latest
output: ./out/why2-logger-test output: ./out/why2-logger-test
gdb: gdb -ex "run" -ex "quit" --batch
configure: ./configure.sh configure: ./configure.sh
valgrind: valgrind --leak-check=full --show-leak-kinds=reachable --track-origins=yes -s valgrind: valgrind --leak-check=full --show-leak-kinds=reachable --track-origins=yes -s
app: why2-logger app: why2-logger
@ -68,10 +69,10 @@ jobs:
run: make test_logger run: make test_logger
- name: Test Lib - name: Test Lib
run: ./${{ matrix.output }} run: ${{ matrix.gdb }} ${{ matrix.output }}
- name: Test App - name: Test App
run: ${{ matrix.app }} run: ${{ matrix.gdb }} ${{ matrix.app }}
- name: Test Lib by Valgrind - name: Test Lib by Valgrind
run: ${{ matrix.valgrind }} ${{ matrix.output }} run: ${{ matrix.valgrind }} ${{ matrix.output }}

3
.github/workflows/why2-project.yml vendored

@ -30,6 +30,7 @@ jobs:
os: [ ubuntu-latest ] os: [ ubuntu-latest ]
include: include:
- os: ubuntu-latest - os: ubuntu-latest
gdb: gdb -ex "run" -ex "quit" --batch
configure: ./configure.sh configure: ./configure.sh
test: ./test test: ./test
@ -65,4 +66,4 @@ jobs:
run: cc ${{ matrix.test }}.c -lwhy2 -Wall -o ${{ matrix.test }} run: cc ${{ matrix.test }}.c -lwhy2 -Wall -o ${{ matrix.test }}
- name: Run test - name: Run test
run: ./${{ matrix.test }} run: ${{ matrix.gdb }} ./${{ matrix.test }}