changelog: add 4.0 #402
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: Build and Test Parallel Solver on Linux and Mac OS | |
| on: | |
| push: | |
| branches: | |
| - '**' | |
| pull_request: | |
| branches: | |
| - '**' | |
| jobs: | |
| Linux: | |
| runs-on: ubuntu-20.04 | |
| steps: | |
| - name: Install Packages | |
| run: sudo apt-get install zlib1g-dev make cmake picosat | |
| - uses: actions/checkout@v1 | |
| - name: mergesat build | |
| run: make BUILD_TYPE=parallel d r p sh lr ld lp lsh VERB= | |
| - name: run CI script | |
| env: | |
| RUNOPENWBO: 0 | |
| RUNFUZZ: 0 | |
| RUNDIVERSIFY: 0 | |
| RUNPARALLELPROOF: 1 | |
| run: ./tools/ci.sh | |
| - name: mergesat re-build | |
| run: | | |
| make BUILD_TYPE=parallel clean -j $(nproc) VERB= | |
| make BUILD_TYPE=parallel d r p sh lr ld lp lsh -j $(nproc) VERB= | |
| - name: mergesat tests build | |
| run: make BUILD_TYPE=parallel tests-d-all tests-r-all VERB= | |
| - name: check parallel determinism | |
| run: | | |
| ./tools/check-determinism.sh "build/release/bin/mergesat -cores=3" "build/release/bin/mergesat -cores=3 -no-diversify" "build/release/bin/mergesat -cores=2 -no-pre" "build/debug/bin/mergesat -cores=3" "build/debug/bin/mergesat -cores=3 -no-diversify" "build/debug/bin/mergesat -cores=2 -no-pre" | |
| MacOS: | |
| runs-on: macos-latest | |
| steps: | |
| - name: Install Packages | |
| run: brew install libzip | |
| - uses: actions/checkout@v1 | |
| - name: mergesat library build | |
| run: make BUILD_TYPE=parallel sh lr ld lsh VERB= | |
| - name: mergesat binary build | |
| run: make BUILD_TYPE=parallel d r VERB= | |
| - name: mergesat tests build | |
| run: make BUILD_TYPE=parallel tests-d-all tests-r-all VERB= |