Run LLVM in parallel

opencompl · Dec 14, 2024 · 2a5aac3 · 2a5aac3
1 parent 1d9a670
commit 2a5aac3
Showing 1 changed file with 2 additions and 6 deletions.
diff --git a/.github/workflows/performance.yml b/.github/workflows/performance.yml
@@ -44,9 +44,9 @@ jobs:
           lake -R exe cache get # download cache of mathlib docs.
           lake -R build
 
-      - name: Run LLVM Symbolic
+      - name: Run LLVM
         run: |
-          (cd bv-evaluation; python3 ./compare-leansat-vs-bitwuzla-llvm-sym.py -j256)
+          (cd bv-evaluation; python3 ./compare-leansat-vs-bitwuzla-llvm-sym.py -j128 &; python3 ./compare-leansat-vs-bitwuzla-llvm.py -j128&; wait)
 
       - name: Run Alive Symbolic
         run: |
@@ -56,10 +56,6 @@ jobs:
         run: |
           (cd bv-evaluation; python3 ./compare-leansat-vs-bitwuzla-hdel-sym.py -j256)
 
-      - name: Run LLVM
-        run: |
-          (cd bv-evaluation; python3 ./compare-leansat-vs-bitwuzla-llvm.py -j256)
-
       - name: Run HDel
         run: |
           (cd bv-evaluation; python3 ./compare-leansat-vs-bitwuzla-hdel.py -j256)