run-litmus.yml

name: Run litmus tests on different platforms

on:
  push:
    branches:
      - dev-gh-ci
      - development
      - main

# Note: this CI run is an "integration"-test or "smoke"-test. It is intended to verify that
# the basics of the tool work. It is NOT intended to be complete or to discover weak behaviors.

jobs:
  linux-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
        run: ./gradlew cli:linkReleaseExecutableLinuxX64
      - name: Run litmus tests via CLI
        run: ./cli/build/bin/linuxX64/releaseExecutable/cli.kexe -r pthread ".*"
      - name: Run litmus tests with JCStress
        # takes ~10 mins
        run: ./gradlew :cli:jvmRun --args="-r jcstress -j '-m sanity' .*"

  macos-run:
    runs-on: macos-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 + release)
        run: ./gradlew cli:linkReleaseExecutableMacosX64
      - name: Run litmus tests via CLI (x64 + release)
        run: ./cli/build/bin/macosX64/releaseExecutable/cli.kexe -r pthread ".*"
      - name: Run litmus tests with JCStress
        # takes ~10 mins
        run: ./gradlew :cli:jvmRun --args="-r jcstress -j '-m sanity' .*"
      - name: Assemble CLI binary (arm + release)
        run: ./gradlew cli:linkReleaseExecutableMacosArm64
      - name: Run litmus tests via CLI (arm + release)
        run: ./cli/build/bin/macosArm64/releaseExecutable/cli.kexe -r pthread ".*"