File tree Expand file tree Collapse file tree 1 file changed +5
-2
lines changed Expand file tree Collapse file tree 1 file changed +5
-2
lines changed Original file line number Diff line number Diff line change @@ -739,7 +739,7 @@ jobs:
739
739
Set-Location build
740
740
ctest -V -L CORE -C Release . -j${{env.windows-vcpus}}
741
741
742
- # This job takes approximately 65 to 84 minutes
742
+ # This job takes approximately 18 to 84 minutes
743
743
check-vs-2022-make-build-and-test :
744
744
runs-on : windows-2022
745
745
env :
@@ -767,6 +767,9 @@ jobs:
767
767
New-Item -ItemType directory "C:\tools\cvc5"
768
768
wget.exe -O c:\tools\cvc5\cvc5.exe https://github.com/cvc5/cvc5/releases/download/cvc5-${{env.cvc5-version}}/cvc5-Win64.exe
769
769
echo "c:\tools\cvc5;" >> $env:GITHUB_PATH
770
+ New-Item -ItemType directory "C:\tools\parallel"
771
+ wget.exe -O c:\tools\parallel\parallel https://git.savannah.gnu.org/cgit/parallel.git/plain/src/parallel
772
+ echo "c:\tools\parallel" >> $env:GITHUB_PATH
770
773
- name : Confirm z3 solver is available and log the version installed
771
774
run : z3 --version
772
775
- name : Confirm cvc5 solver is available and log the version installed
@@ -806,7 +809,7 @@ jobs:
806
809
make CXX=clcache BUILD_ENV=MSVC -C unit test TAGS="[z3]"
807
810
make CXX=clcache BUILD_ENV=MSVC -C jbmc/unit test
808
811
- name : Run CBMC regression tests
809
- run : make CXX=clcache BUILD_ENV=MSVC -C regression test
812
+ run : make CXX=clcache BUILD_ENV=MSVC -C regression test-parallel JOBS=${{env.windows-vcpus}}
810
813
811
814
# This job takes approximately 7 to 32 minutes
812
815
windows-msi-package :
You can’t perform that action at this time.
0 commit comments