diff --git a/.github/workflows/github-action.yml b/.github/workflows/github-action.yml index cb7d1343f..7e83212c6 100644 --- a/.github/workflows/github-action.yml +++ b/.github/workflows/github-action.yml @@ -72,6 +72,11 @@ jobs: working-directory: ${{github.workspace}}/Release-build run: ctest -R diff_tests-wr-ander -VV + + - name: ctest SVFG file-write-read + working-directory: ${{github.workspace}}/Release-build + run: + ctest -R diff_tests-wr-svfg -VV - name: ctest mem_leak working-directory: ${{github.workspace}}/Release-build @@ -118,4 +123,4 @@ jobs: uses: codecov/codecov-action@v2 with: files: coverage.info - verbose: true \ No newline at end of file + verbose: true