LTest/.github/workflows/run-tests.yaml at master · LilClown/LTest · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
name: run-tests
on:
  workflow_call:
jobs:
  #TODO: make a seperate build job to build only one time
  unit-tests:
    runs-on: ubuntu-latest
    defaults:
      run:
        shell: bash
    container:
      image: silkeh/clang:19
      options: --user root
    timeout-minutes: 10
    steps:
      - name: Install deps
        run: apt update && apt install -y git ninja-build valgrind libboost-context-dev libgflags-dev libclang-19-dev
      - name: Check out repository code
        uses: actions/checkout@v4
      - name: Build
        run: |
          cmake -G Ninja -B build -DCMAKE_BUILD_TYPE=RelWithAssert
          cmake --build build --target lin_check_test
      - name: Run lin check test
        run: ctest --test-dir build -R "^LinearizabilityCheckerCounterTest" -V
  verifying-test:
    runs-on: ubuntu-latest
    defaults:
      run:
        shell: bash
    container:
      image: silkeh/clang:19
      options: --user root
    timeout-minutes: 20
    steps:
      - name: Install deps
        run: |
          apt update && apt install -y git ninja-build valgrind libgoogle-glog-dev libsnappy-dev protobuf-compiler libboost-context-dev pkg-config libcapstone-dev libclang-19-dev && \
          git clone https://github.com/Kirillog/syscall_intercept.git &&  \
          cmake syscall_intercept -G Ninja -B syscall_intercept/build -DCMAKE_INSTALL_PREFIX=/usr -DCMAKE_BUILD_TYPE=Release -DCMAKE_C_COMPILER=clang && \
          cmake --build syscall_intercept/build --target install
      - name: Check out repository code
        uses: actions/checkout@v4
      - name: Build
        run: |
          cmake -G Ninja -B build -DCMAKE_BUILD_TYPE=RelWithAssert
          cmake --build build --target verify-targets verify-blocking
      - name: "Tests"
        run: ctest --parallel 4 --test-dir build -L "verify" -V
  verifying-folly-release:
    runs-on: ubuntu-latest
    env:
      LTEST_BUILD_PATH: "/__w/LTest/LTest/build"
    defaults:
      run:
        shell: bash
    container:
      image: silkeh/clang:19
      options: --user root
    steps:
      - name: Install deps
        run: |
          apt update && apt install -y git ninja-build valgrind libgoogle-glog-dev libsnappy-dev libclang-19-dev \
                    protobuf-compiler libboost-context-dev pkg-config libcapstone-dev \
                    libboost-filesystem-dev libboost-program-options-dev libboost-regex-dev \
                    libdouble-conversion-dev libfast-float-dev libevent-dev libssl-dev libfmt-dev \
                    libgoogle-glog-dev zlib1g-dev && \
          git clone --depth=1 https://github.com/Kirillog/syscall_intercept.git &&  \
          cmake syscall_intercept -G Ninja -B syscall_intercept/build -DCMAKE_INSTALL_PREFIX=/usr -DCMAKE_BUILD_TYPE=Release -DCMAKE_C_COMPILER=clang && \
          cmake --build syscall_intercept/build --target install
      - name: Check out repository code
        uses: actions/checkout@v4
      - name: Build folly ltest dependencies
        run: |
          cmake -G Ninja -B build -DCMAKE_BUILD_TYPE=Release
          cmake --build build --target plugin_pass runtime
      - name: Install folly
        run: |
          git clone --depth=1 https://github.com/Kirillog/folly.git && \
          cmake folly -G Ninja -B folly/build_dir -DCMAKE_BUILD_TYPE=Release && \
          cmake --build folly/build_dir --target install
      - name: Build tests
        run: |
          cmake --build build --target verifying/blocking/folly_rwspinlock verifying/blocking/folly_sharedmutex \
            verifying/blocking/folly_flatcombining_queue
      - name: Run folly rwspinlock with pct strategy
        run: |
          ./scripts/check.sh 0 ./build/verifying/blocking/folly_rwspinlock --strategy pct --rounds 10000
      - name: Run folly shared_mutex with pct strategy
        run: |
          ./scripts/check.sh 0 ./build/verifying/blocking/folly_sharedmutex --strategy pct --rounds 10000
      - name: Run folly flatcombining queue with pct strategy
        run: |
          ./scripts/check.sh 0 ./build/verifying/blocking/folly_flatcombining_queue --strategy pct --rounds 10000