scala.yml

name: Scala CI

on:
  push:
    branches: [ master ]
  pull_request:
    branches: [ master ]

jobs:
  build:

    runs-on: ubuntu-20.04
    defaults:
      run:
        working-directory: ./dev-clean

    steps:
    - name: Checkout repository and submodules
      uses: actions/checkout@v2
      with:
        submodules: recursive
    - name: Set up JDK 8
      uses: actions/setup-java@v2
      with:
        java-version: '8'
        distribution: 'adopt'
    - name: Set up dependencies
      run: |
        sudo apt-get update
        sudo DEBIAN_FRONTEND=noninteractive apt-get install -y git g++ cmake bison flex libboost-all-dev python
        sudo DEBIAN_FRONTEND=noninteractive apt-get install -y perl minisat curl gnupg2 locales clang-11 wget
    - name: Generate test files
      run: |
        cd benchmarks/llvm
        make llsc
        cd ../demo-benchmarks
        make llsc
        cd ../external-lib
        make llsc
        cd ../oopsla20
        make generate_sse
        cd ../test-comp/array-examples
        make llsc
        cd ../../test-comp/array-programs
        make llsc
        cd ../../klee-posix-fs
        make
    - name: Install Z3
      run: |
        cd ../third-party
        wget https://github.com/Z3Prover/z3/releases/download/z3-4.8.12/z3-4.8.12-x64-glibc-2.31.zip
        unzip z3-4.8.12-x64-glibc-2.31.zip
        cd z3-4.8.12-x64-glibc-2.31
        sudo cp include/* /usr/include/
        sudo cp bin/libz3.so /usr/lib/x86_64-linux-gnu/
        sudo ldconfig
    - name: Install STP
      run: |
        cd ../third-party/stp
        mkdir build
        cd build
        cmake ..
        make
        sudo make install
        sudo ldconfig
    - name: Generate models
      run: sbt 'runMain sai.llsc.GenerateExternal'
    - name: Test models
      run: sbt 'testOnly sai.llsc.TestGenExternal'
    - name: Run tests
      run: sbt test