This repository has been archived by the owner on Sep 30, 2024. It is now read-only.
changes for hpcfi #2
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: svf-build | |
| # Triggers the workflow on push or pull request events | |
| on: [push, pull_request] | |
| # Customize the env variable | |
| env: | |
| SVF_CTIR: 1 | |
| SVF_Z3: 1 | |
| SVF_DIR: $GITHUB_WORKSPACE | |
| jobs: | |
| build: | |
| runs-on: ${{ matrix.os }} | |
| strategy: | |
| matrix: | |
| os: [ubuntu-18.04, macos-11] | |
| steps: | |
| # checkout the repo | |
| - uses: actions/checkout@v2 | |
| # setup the environment | |
| - name: mac-setup | |
| if: runner.os == 'macOS' | |
| uses: maxim-lobanov/setup-xcode@v1 | |
| with: | |
| xcode-version: 12.5.1 | |
| - name: mac-setup-workaround | |
| if: runner.os == 'macOS' | |
| run: ln -sfn /Applications/Xcode_12.5.1.app /Applications/Xcode.app | |
| - name: ubuntu-setup | |
| if: runner.os == 'Linux' | |
| run: | | |
| sudo apt-get update | |
| sudo add-apt-repository -y ppa:ubuntu-toolchain-r/test | |
| sudo apt-get update | |
| sudo apt-get install cmake gcc g++ nodejs doxygen graphviz | |
| - name: env-setup | |
| if: github.event_name == 'push' && github.repository == 'SVF-tools/SVF' | |
| run: | | |
| echo $RUNNER_OS | |
| git config --global user.email ${{secrets.npm_email}} | |
| git config --global user.name "GitHub Actions Build" | |
| # build-svf | |
| - name: build-svf | |
| run: | | |
| cd $GITHUB_WORKSPACE | |
| echo $(pwd) | |
| git clone "https://github.com/SVF-tools/Test-Suite.git"; | |
| source ${{github.workspace}}/build.sh | |
| # run ctest | |
| - name: ctest points-to | |
| working-directory: ${{github.workspace}}/Release-build | |
| run: | |
| ctest -R points-to -VV | |
| - name: ctest differential analysis | |
| working-directory: ${{github.workspace}}/Release-build | |
| run: | |
| ctest -R diff_tests -VV | |
| - name: ctest mem_leak | |
| working-directory: ${{github.workspace}}/Release-build | |
| run: | |
| ctest -R mem_leak -VV | |
| - name: ctest cfl_test | |
| working-directory: ${{github.workspace}}/Release-build | |
| run: | |
| ctest -R cfl_test -VV |