diff --git a/.github/workflows/svf-example-build.yml b/.github/workflows/svf-example-build.yml
index 8e7c616..419594b 100644
--- a/.github/workflows/svf-example-build.yml
+++ b/.github/workflows/svf-example-build.yml
@@ -26,4 +26,8 @@ jobs:
         run: |
          source $GITHUB_WORKSPACE/env.sh
          cmake .
-         make 
\ No newline at end of file
+         make 
+         git clone https://github.com/SVF-tools/Test-Suite.git $GITHUB_WORKSPACE/Test-Suite
+         ls $GITHUB_WORKSPACE/Test-Suite/test_cases_bc/crux-bc/curl.bc
+         echo $GITHUB_WORKSPACE/bin/svf-ex -pt-type=cbv $GITHUB_WORKSPACE/Test-Suite/test_cases_bc/crux-bc/curl.bc
+         $GITHUB_WORKSPACE/bin/svf-ex -pt-type=cbv $GITHUB_WORKSPACE/Test-Suite/test_cases_bc/crux-bc/curl.bc