Merge pull request #1339 from jiawei-95/master

add symbolic abstraction test
SVF-tools · Jan 17, 2024 · fd6d70b · fd6d70b
2 parents 4dba8a0 + dbdc598
commit fd6d70b
Show file tree

Hide file tree

Showing 5 changed files with 607 additions and 3 deletions.
diff --git a/.github/workflows/github-action.yml b/.github/workflows/github-action.yml
@@ -83,6 +83,11 @@ jobs:
         run:
           ctest -R double_free -VV
 
+      - name: ctest symabs
+        working-directory: ${{github.workspace}}/Release-build
+        run:
+          ctest -R symabs -VV
+
       - name: ctest cfl_tests
         working-directory: ${{github.workspace}}/Release-build
         run:

diff --git a/build.sh b/build.sh
@@ -6,7 +6,7 @@
 # Dependencies include: build-essential libncurses5 libncurses-dev cmake zlib1g-dev
 set -e # exit on first error
 
-jobs=4
+jobs=8
 
 #########
 # VARs and Links

diff --git a/svf-llvm/tools/AE/CMakeLists.txt b/svf-llvm/tools/AE/CMakeLists.txt
@@ -0,0 +1,2 @@
+add_llvm_executable(ae ae.cpp)
+target_link_libraries(ae PUBLIC ${llvm_libs} SvfLLVM)