Fix 2 + add jcstress run to CI

JetBrains-Research · Jun 26, 2024 · 1f6fa65 · 1f6fa65
1 parent 8566d96
commit 1f6fa65
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.github/workflows/run-litmus.yml b/.github/workflows/run-litmus.yml
@@ -21,20 +21,26 @@ jobs:
         run: ./gradlew cli:linkReleaseExecutableLinuxX64
       - name: Run litmus tests via CLI
         run: ./cli/build/bin/linuxX64/releaseExecutable/cli.kexe -r pthread ".*"
+      - name: Run a single test with JCStress
+        run: ./gradlew :cli:jvmRun --args="-r jcstress -j '-m quick' StoreBuffering.Plain"
 
   macos-run:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v3
       - uses: actions/setup-java@v4
         with:
+          distribution: oracle
           java-version: 17
       - run: chmod +x gradlew
       - name: Assemble CLI binary (x64)
         run: ./gradlew cli:linkReleaseExecutableMacosX64
       - name: Run litmus tests via CLI (x64)
         run: ./cli/build/bin/macosX64/releaseExecutable/cli.kexe -r pthread ".*"
+      - name: Run a single test with JCStress
+        run: ./gradlew :cli:jvmRun --args="-r jcstress -j '-m quick' StoreBuffering.Plain"
       - name: Assemble CLI binary (arm)
         run: ./gradlew cli:linkReleaseExecutableMacosArm64
       - name: Run litmus tests via CLI (arm)
         run: ./cli/build/bin/macosArm64/releaseExecutable/cli.kexe -r pthread ".*"
+