gh: setup cbmc

rurban · Feb 20, 2024 · f2ad0d0 · f2ad0d0
1 parent 0fd7bce
commit f2ad0d0
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 0 deletions.
diff --git a/.github/workflows/master.yml b/.github/workflows/master.yml
@@ -34,6 +34,9 @@ jobs:
           - make examples SANITIZE=1
           - make perf
     steps:
+    - if: ${{ contains(matrix.MAKE, 'O0=1 SANITIZE=1 LONG=1') }}
+      name: setup cbmc
+      run: sudo apt install -y --no-install-recommends cbmc
     # needed for libc++ since the Ubuntu 20.04.2 update (image version 20210315.1)
     # https://askubuntu.com/questions/1211743/clang-doesnt-find-c-stdlib-on-my-ubuntu-18-04-but-it-does-on-a-brand-new-ins
     # variant 1: downgrade clang++ to matching g++ (= 11)
@@ -47,6 +50,9 @@ jobs:
     - uses: actions/checkout@v2
     - run:  ${{ matrix.MAKE }}
       timeout-minutes: 30
+    - if: ${{ contains(matrix.MAKE, 'O0=1 SANITIZE=1 LONG=1') }}
+      name: make verify
+      run:  ${{ matrix.MAKE }} verify
   windows:
     runs-on: windows-latest
     steps:

diff --git a/.github/workflows/minor.yml b/.github/workflows/minor.yml
@@ -31,6 +31,9 @@ jobs:
           - make examples SANITIZE=1
           - make perf
     steps:
+    - if: ${{ contains(matrix.MAKE, 'SANITIZE=1 O0=1') }}
+      name: setup cbmc
+      run: sudo apt install -y --no-install-recommends cbmc
     # needed for libc++ since the Ubuntu 20.04.2 update (image version 20210315.1)
     # https://askubuntu.com/questions/1211743/clang-doesnt-find-c-stdlib-on-my-ubuntu-18-04-but-it-does-on-a-brand-new-ins
     # variant 1: downgrade clang++ to matching g++ (= 11)
@@ -43,6 +46,9 @@ jobs:
         g++ --version
     - uses: actions/checkout@v2
     - run:  ${{ matrix.MAKE }}
+    - if: ${{ contains(matrix.MAKE, 'SANITIZE=1 O0=1') }}
+      name: make verify
+      run:  ${{ matrix.MAKE }} verify
   windows:
     runs-on: windows-latest
     steps: