From aa90fb6282f813b4227cd27850c1c32ef761f0b2 Mon Sep 17 00:00:00 2001
From: Anichitei Ionel-Cristinel <49393881+ianichitei@users.noreply.github.com>
Date: Tue, 17 Sep 2024 11:08:03 +0300
Subject: [PATCH] ci: Run tests on Linux builds with sanitizers

---
 .github/workflows/ci.yml | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index f8e91d9..dd11233 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -35,6 +35,17 @@ jobs:
 
     steps:
     - uses: actions/checkout@v4
+    - name: Build with sanitizers
+      run: |
+        mkdir build_sanitizers
+        cd build_sanitizers
+        cmke .. -DCMAKE_BUILD_TYPE=Debug -DBDD_ASAN=ON -DBDD_UBSAN=ON
+        make -j$(nproc)
+        cd -
+    - name: Test disasm
+      run: python3 ./tests/main.py --disasm ./build_sanitizers/disasmtool/disasmtool --conf ./bddisasm_test/conf-x86.json
+    - name: Test shemu
+      run: python3 ./tests/main.py --disasm ./build_sanitizers/disasmtool/disasmtool --conf ./bdshemu_test/conf-x86.json
     - name: Build all
       run: |
         mkdir build