diff --git a/.github/workflows/run-litmus.yml b/.github/workflows/run-litmus.yml index cd7f9fc..57598e1 100644 --- a/.github/workflows/run-litmus.yml +++ b/.github/workflows/run-litmus.yml @@ -21,6 +21,8 @@ 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 @@ -28,13 +30,17 @@ jobs: - 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 ".*" +