From 1db0d2f491a652cf7219fd76fb77c81ec1ef9317 Mon Sep 17 00:00:00 2001
From: Yulei Sui <7608399+yuleisui@users.noreply.github.com>
Date: Mon, 29 Nov 2021 21:15:40 +1100
Subject: [PATCH 1/3] Update svf-example-build.yml

---
 .github/workflows/svf-example-build.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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

From 06111c946f2c1524e2fbd97b24befb5233c403f3 Mon Sep 17 00:00:00 2001
From: Yulei Sui <7608399+yuleisui@users.noreply.github.com>
Date: Mon, 29 Nov 2021 21:31:00 +1100
Subject: [PATCH 2/3] Update svf-example-build.yml

---
 .github/workflows/svf-example-build.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/svf-example-build.yml b/.github/workflows/svf-example-build.yml
index 1021eb2..64cee25 100644
--- a/.github/workflows/svf-example-build.yml
+++ b/.github/workflows/svf-example-build.yml
@@ -27,4 +27,5 @@ jobs:
          source $GITHUB_WORKSPACE/env.sh
          cmake .
          make 
-         $GITHUB_WORKSPACE/bin/svf-ex -pt-type=cbv https://github.com/SVF-tools/Test-Suite/blob/master/test_cases_bc/crux-bc/curl.bc
+         curl -o $GITHUB_WORKSPACE/curl.bc 'https://github.com/SVF-tools/Test-Suite/blob/master/test_cases_bc/crux-bc/curl.bc'
+         $GITHUB_WORKSPACE/bin/svf-ex -pt-type=cbv $GITHUB_WORKSPACE/curl.bc

From f8acae26b0233c347fad8ad9dec080b613b6ef8e Mon Sep 17 00:00:00 2001
From: Yulei Sui <7608399+yuleisui@users.noreply.github.com>
Date: Mon, 29 Nov 2021 21:37:32 +1100
Subject: [PATCH 3/3] Update svf-example-build.yml

---
 .github/workflows/svf-example-build.yml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/svf-example-build.yml b/.github/workflows/svf-example-build.yml
index 64cee25..419594b 100644
--- a/.github/workflows/svf-example-build.yml
+++ b/.github/workflows/svf-example-build.yml
@@ -27,5 +27,7 @@ jobs:
          source $GITHUB_WORKSPACE/env.sh
          cmake .
          make 
-         curl -o $GITHUB_WORKSPACE/curl.bc 'https://github.com/SVF-tools/Test-Suite/blob/master/test_cases_bc/crux-bc/curl.bc'
-         $GITHUB_WORKSPACE/bin/svf-ex -pt-type=cbv $GITHUB_WORKSPACE/curl.bc
+         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