Parallelism 15->10

ftsrg · Nov 26, 2023 · 44b4497 · 44b4497
1 parent cf54ed0
commit 44b4497
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/actions/benchexec-test/action.yml b/.github/actions/benchexec-test/action.yml
@@ -46,7 +46,7 @@ runs:
     - name: Run benchexec
       shell: bash
       run: |
-        benchexec svcomp23-witness-benchmarks/concurrentwitness2test.xml -N 15 --no-container --tool-directory ConcurrentWitness2Test -t ConcurrencySafety-${{ inputs.tool }}
+        benchexec svcomp23-witness-benchmarks/concurrentwitness2test.xml -N 10 --no-container --tool-directory ConcurrentWitness2Test -t ConcurrencySafety-${{ inputs.tool }}
     - name: Upload results
       uses: actions/upload-artifact@0b7f8abb1508181956e8e162db84b466c27e18ce # v3.1.2
       with: