From 10d2b23fc7144071d32a4c2b91e7fe826435c321 Mon Sep 17 00:00:00 2001
From: GitHub Actions Build <rockysui@gmail.com>
Date: Thu, 9 May 2024 11:40:35 +0000
Subject: [PATCH] update latest SVF performance data

---
 diff_tests/perf-latest.txt                    |  52 ++++----
 .../perf_history/perf-2024-05-09T11:40:35.txt | 123 ++++++++++++++++++
 2 files changed, 149 insertions(+), 26 deletions(-)
 create mode 100644 diff_tests/perf_history/perf-2024-05-09T11:40:35.txt

diff --git a/diff_tests/perf-latest.txt b/diff_tests/perf-latest.txt
index b8a144f0..946a2d41 100644
--- a/diff_tests/perf-latest.txt
+++ b/diff_tests/perf-latest.txt
@@ -1,19 +1,19 @@
-Start testing: May 09 06:41 UTC
+Start testing: May 09 11:38 UTC
 ----------------------------------------------------------
 1153/1574 Testing: diff-perf-cruxbc-small/test_cases_bc/crux-bc/dc.bc
 1153/1574 Test: diff-perf-cruxbc-small/test_cases_bc/crux-bc/dc.bc
 Command: "/home/runner/work/SVF/SVF/Test-Suite/diff_tests/difftest.py" "wpa -vfspta -dump-vfg -dump-json=ir.json" "wpa -vfspta -read-json" "/home/runner/work/SVF/SVF/Test-Suite/test_cases_bc/crux-bc/dc.bc" "ir.json"
 Directory: /home/runner/work/SVF/SVF/Release-build/bin
-"diff-perf-cruxbc-small/test_cases_bc/crux-bc/dc.bc" start time: May 09 06:41 UTC
+"diff-perf-cruxbc-small/test_cases_bc/crux-bc/dc.bc" start time: May 09 11:38 UTC
 Output:
 ----------------------------------------------------------
 Executing command: ./wpa -vfspta -dump-vfg -dump-json=ir.json /home/runner/work/SVF/SVF/Test-Suite/test_cases_bc/crux-bc/dc.bc
 Executing command: ./wpa -vfspta -read-json ir.json
 <end of output>
-Test time =   0.95 sec
+Test time =   0.98 sec
 ----------------------------------------------------------
 Test Passed.
-"diff-perf-cruxbc-small/test_cases_bc/crux-bc/dc.bc" end time: May 09 06:41 UTC
+"diff-perf-cruxbc-small/test_cases_bc/crux-bc/dc.bc" end time: May 09 11:39 UTC
 "diff-perf-cruxbc-small/test_cases_bc/crux-bc/dc.bc" time elapsed: 00:00:00
 ----------------------------------------------------------
 
@@ -21,16 +21,16 @@ Test Passed.
 1154/1574 Test: diff-perf-cruxbc-small/test_cases_bc/crux-bc/bc.bc
 Command: "/home/runner/work/SVF/SVF/Test-Suite/diff_tests/difftest.py" "wpa -vfspta -dump-vfg -dump-json=ir.json" "wpa -vfspta -read-json" "/home/runner/work/SVF/SVF/Test-Suite/test_cases_bc/crux-bc/bc.bc" "ir.json"
 Directory: /home/runner/work/SVF/SVF/Release-build/bin
-"diff-perf-cruxbc-small/test_cases_bc/crux-bc/bc.bc" start time: May 09 06:41 UTC
+"diff-perf-cruxbc-small/test_cases_bc/crux-bc/bc.bc" start time: May 09 11:39 UTC
 Output:
 ----------------------------------------------------------
 Executing command: ./wpa -vfspta -dump-vfg -dump-json=ir.json /home/runner/work/SVF/SVF/Test-Suite/test_cases_bc/crux-bc/bc.bc
 Executing command: ./wpa -vfspta -read-json ir.json
 <end of output>
-Test time =   1.81 sec
+Test time =   1.82 sec
 ----------------------------------------------------------
 Test Passed.
-"diff-perf-cruxbc-small/test_cases_bc/crux-bc/bc.bc" end time: May 09 06:41 UTC
+"diff-perf-cruxbc-small/test_cases_bc/crux-bc/bc.bc" end time: May 09 11:39 UTC
 "diff-perf-cruxbc-small/test_cases_bc/crux-bc/bc.bc" time elapsed: 00:00:01
 ----------------------------------------------------------
 
@@ -38,16 +38,16 @@ Test Passed.
 1155/1574 Test: diff-perf-cruxbc-small/test_cases_bc/crux-bc/libbz2.so.bc
 Command: "/home/runner/work/SVF/SVF/Test-Suite/diff_tests/difftest.py" "wpa -vfspta -dump-vfg -dump-json=ir.json" "wpa -vfspta -read-json" "/home/runner/work/SVF/SVF/Test-Suite/test_cases_bc/crux-bc/libbz2.so.bc" "ir.json"
 Directory: /home/runner/work/SVF/SVF/Release-build/bin
-"diff-perf-cruxbc-small/test_cases_bc/crux-bc/libbz2.so.bc" start time: May 09 06:41 UTC
+"diff-perf-cruxbc-small/test_cases_bc/crux-bc/libbz2.so.bc" start time: May 09 11:39 UTC
 Output:
 ----------------------------------------------------------
 Executing command: ./wpa -vfspta -dump-vfg -dump-json=ir.json /home/runner/work/SVF/SVF/Test-Suite/test_cases_bc/crux-bc/libbz2.so.bc
 Executing command: ./wpa -vfspta -read-json ir.json
 <end of output>
-Test time =   2.53 sec
+Test time =   2.63 sec
 ----------------------------------------------------------
 Test Passed.
-"diff-perf-cruxbc-small/test_cases_bc/crux-bc/libbz2.so.bc" end time: May 09 06:41 UTC
+"diff-perf-cruxbc-small/test_cases_bc/crux-bc/libbz2.so.bc" end time: May 09 11:39 UTC
 "diff-perf-cruxbc-small/test_cases_bc/crux-bc/libbz2.so.bc" time elapsed: 00:00:02
 ----------------------------------------------------------
 
@@ -55,34 +55,34 @@ Test Passed.
 1156/1574 Test: diff-perf-cruxbc-small/test_cases_bc/crux-bc/bunzip2.bc
 Command: "/home/runner/work/SVF/SVF/Test-Suite/diff_tests/difftest.py" "wpa -vfspta -dump-vfg -dump-json=ir.json" "wpa -vfspta -read-json" "/home/runner/work/SVF/SVF/Test-Suite/test_cases_bc/crux-bc/bunzip2.bc" "ir.json"
 Directory: /home/runner/work/SVF/SVF/Release-build/bin
-"diff-perf-cruxbc-small/test_cases_bc/crux-bc/bunzip2.bc" start time: May 09 06:41 UTC
+"diff-perf-cruxbc-small/test_cases_bc/crux-bc/bunzip2.bc" start time: May 09 11:39 UTC
 Output:
 ----------------------------------------------------------
 Executing command: ./wpa -vfspta -dump-vfg -dump-json=ir.json /home/runner/work/SVF/SVF/Test-Suite/test_cases_bc/crux-bc/bunzip2.bc
 Executing command: ./wpa -vfspta -read-json ir.json
 <end of output>
-Test time =   2.99 sec
+Test time =   3.10 sec
 ----------------------------------------------------------
 Test Passed.
-"diff-perf-cruxbc-small/test_cases_bc/crux-bc/bunzip2.bc" end time: May 09 06:41 UTC
-"diff-perf-cruxbc-small/test_cases_bc/crux-bc/bunzip2.bc" time elapsed: 00:00:02
+"diff-perf-cruxbc-small/test_cases_bc/crux-bc/bunzip2.bc" end time: May 09 11:39 UTC
+"diff-perf-cruxbc-small/test_cases_bc/crux-bc/bunzip2.bc" time elapsed: 00:00:03
 ----------------------------------------------------------
 
 1157/1574 Testing: diff-perf-cruxbc-small/test_cases_bc/crux-bc/htop.bc
 1157/1574 Test: diff-perf-cruxbc-small/test_cases_bc/crux-bc/htop.bc
 Command: "/home/runner/work/SVF/SVF/Test-Suite/diff_tests/difftest.py" "wpa -vfspta -dump-vfg -dump-json=ir.json" "wpa -vfspta -read-json" "/home/runner/work/SVF/SVF/Test-Suite/test_cases_bc/crux-bc/htop.bc" "ir.json"
 Directory: /home/runner/work/SVF/SVF/Release-build/bin
-"diff-perf-cruxbc-small/test_cases_bc/crux-bc/htop.bc" start time: May 09 06:41 UTC
+"diff-perf-cruxbc-small/test_cases_bc/crux-bc/htop.bc" start time: May 09 11:39 UTC
 Output:
 ----------------------------------------------------------
 vcall gep idx not constantint
 Executing command: ./wpa -vfspta -dump-vfg -dump-json=ir.json /home/runner/work/SVF/SVF/Test-Suite/test_cases_bc/crux-bc/htop.bc
 Executing command: ./wpa -vfspta -read-json ir.json
 <end of output>
-Test time =   9.74 sec
+Test time =   9.97 sec
 ----------------------------------------------------------
 Test Passed.
-"diff-perf-cruxbc-small/test_cases_bc/crux-bc/htop.bc" end time: May 09 06:41 UTC
+"diff-perf-cruxbc-small/test_cases_bc/crux-bc/htop.bc" end time: May 09 11:39 UTC
 "diff-perf-cruxbc-small/test_cases_bc/crux-bc/htop.bc" time elapsed: 00:00:09
 ----------------------------------------------------------
 
@@ -90,34 +90,34 @@ Test Passed.
 1158/1574 Test: diff-perf-cruxbc-big/test_cases_bc/crux-bc/libcurl.so.bc
 Command: "/home/runner/work/SVF/SVF/Test-Suite/diff_tests/difftest.py" "wpa -ander -dump-json=ir.json" "wpa -ander -read-json" "/home/runner/work/SVF/SVF/Test-Suite/test_cases_bc/crux-bc/libcurl.so.bc" "ir.json"
 Directory: /home/runner/work/SVF/SVF/Release-build/bin
-"diff-perf-cruxbc-big/test_cases_bc/crux-bc/libcurl.so.bc" start time: May 09 06:41 UTC
+"diff-perf-cruxbc-big/test_cases_bc/crux-bc/libcurl.so.bc" start time: May 09 11:39 UTC
 Output:
 ----------------------------------------------------------
 Executing command: ./wpa -ander -dump-json=ir.json /home/runner/work/SVF/SVF/Test-Suite/test_cases_bc/crux-bc/libcurl.so.bc
 Executing command: ./wpa -ander -read-json ir.json
 <end of output>
-Test time =  32.92 sec
+Test time =  33.94 sec
 ----------------------------------------------------------
 Test Passed.
-"diff-perf-cruxbc-big/test_cases_bc/crux-bc/libcurl.so.bc" end time: May 09 06:41 UTC
-"diff-perf-cruxbc-big/test_cases_bc/crux-bc/libcurl.so.bc" time elapsed: 00:00:32
+"diff-perf-cruxbc-big/test_cases_bc/crux-bc/libcurl.so.bc" end time: May 09 11:39 UTC
+"diff-perf-cruxbc-big/test_cases_bc/crux-bc/libcurl.so.bc" time elapsed: 00:00:33
 ----------------------------------------------------------
 
 1159/1574 Testing: diff-perf-cruxbc-big/test_cases_bc/crux-bc/bash.bc
 1159/1574 Test: diff-perf-cruxbc-big/test_cases_bc/crux-bc/bash.bc
 Command: "/home/runner/work/SVF/SVF/Test-Suite/diff_tests/difftest.py" "wpa -ander -dump-json=ir.json" "wpa -ander -read-json" "/home/runner/work/SVF/SVF/Test-Suite/test_cases_bc/crux-bc/bash.bc" "ir.json"
 Directory: /home/runner/work/SVF/SVF/Release-build/bin
-"diff-perf-cruxbc-big/test_cases_bc/crux-bc/bash.bc" start time: May 09 06:41 UTC
+"diff-perf-cruxbc-big/test_cases_bc/crux-bc/bash.bc" start time: May 09 11:39 UTC
 Output:
 ----------------------------------------------------------
 Executing command: ./wpa -ander -dump-json=ir.json /home/runner/work/SVF/SVF/Test-Suite/test_cases_bc/crux-bc/bash.bc
 Executing command: ./wpa -ander -read-json ir.json
 <end of output>
-Test time =  40.01 sec
+Test time =  42.97 sec
 ----------------------------------------------------------
 Test Passed.
-"diff-perf-cruxbc-big/test_cases_bc/crux-bc/bash.bc" end time: May 09 06:42 UTC
-"diff-perf-cruxbc-big/test_cases_bc/crux-bc/bash.bc" time elapsed: 00:00:40
+"diff-perf-cruxbc-big/test_cases_bc/crux-bc/bash.bc" end time: May 09 11:40 UTC
+"diff-perf-cruxbc-big/test_cases_bc/crux-bc/bash.bc" time elapsed: 00:00:42
 ----------------------------------------------------------
 
-End testing: May 09 06:42 UTC
+End testing: May 09 11:40 UTC
diff --git a/diff_tests/perf_history/perf-2024-05-09T11:40:35.txt b/diff_tests/perf_history/perf-2024-05-09T11:40:35.txt
new file mode 100644
index 00000000..946a2d41
--- /dev/null
+++ b/diff_tests/perf_history/perf-2024-05-09T11:40:35.txt
@@ -0,0 +1,123 @@
+Start testing: May 09 11:38 UTC
+----------------------------------------------------------
+1153/1574 Testing: diff-perf-cruxbc-small/test_cases_bc/crux-bc/dc.bc
+1153/1574 Test: diff-perf-cruxbc-small/test_cases_bc/crux-bc/dc.bc
+Command: "/home/runner/work/SVF/SVF/Test-Suite/diff_tests/difftest.py" "wpa -vfspta -dump-vfg -dump-json=ir.json" "wpa -vfspta -read-json" "/home/runner/work/SVF/SVF/Test-Suite/test_cases_bc/crux-bc/dc.bc" "ir.json"
+Directory: /home/runner/work/SVF/SVF/Release-build/bin
+"diff-perf-cruxbc-small/test_cases_bc/crux-bc/dc.bc" start time: May 09 11:38 UTC
+Output:
+----------------------------------------------------------
+Executing command: ./wpa -vfspta -dump-vfg -dump-json=ir.json /home/runner/work/SVF/SVF/Test-Suite/test_cases_bc/crux-bc/dc.bc
+Executing command: ./wpa -vfspta -read-json ir.json
+<end of output>
+Test time =   0.98 sec
+----------------------------------------------------------
+Test Passed.
+"diff-perf-cruxbc-small/test_cases_bc/crux-bc/dc.bc" end time: May 09 11:39 UTC
+"diff-perf-cruxbc-small/test_cases_bc/crux-bc/dc.bc" time elapsed: 00:00:00
+----------------------------------------------------------
+
+1154/1574 Testing: diff-perf-cruxbc-small/test_cases_bc/crux-bc/bc.bc
+1154/1574 Test: diff-perf-cruxbc-small/test_cases_bc/crux-bc/bc.bc
+Command: "/home/runner/work/SVF/SVF/Test-Suite/diff_tests/difftest.py" "wpa -vfspta -dump-vfg -dump-json=ir.json" "wpa -vfspta -read-json" "/home/runner/work/SVF/SVF/Test-Suite/test_cases_bc/crux-bc/bc.bc" "ir.json"
+Directory: /home/runner/work/SVF/SVF/Release-build/bin
+"diff-perf-cruxbc-small/test_cases_bc/crux-bc/bc.bc" start time: May 09 11:39 UTC
+Output:
+----------------------------------------------------------
+Executing command: ./wpa -vfspta -dump-vfg -dump-json=ir.json /home/runner/work/SVF/SVF/Test-Suite/test_cases_bc/crux-bc/bc.bc
+Executing command: ./wpa -vfspta -read-json ir.json
+<end of output>
+Test time =   1.82 sec
+----------------------------------------------------------
+Test Passed.
+"diff-perf-cruxbc-small/test_cases_bc/crux-bc/bc.bc" end time: May 09 11:39 UTC
+"diff-perf-cruxbc-small/test_cases_bc/crux-bc/bc.bc" time elapsed: 00:00:01
+----------------------------------------------------------
+
+1155/1574 Testing: diff-perf-cruxbc-small/test_cases_bc/crux-bc/libbz2.so.bc
+1155/1574 Test: diff-perf-cruxbc-small/test_cases_bc/crux-bc/libbz2.so.bc
+Command: "/home/runner/work/SVF/SVF/Test-Suite/diff_tests/difftest.py" "wpa -vfspta -dump-vfg -dump-json=ir.json" "wpa -vfspta -read-json" "/home/runner/work/SVF/SVF/Test-Suite/test_cases_bc/crux-bc/libbz2.so.bc" "ir.json"
+Directory: /home/runner/work/SVF/SVF/Release-build/bin
+"diff-perf-cruxbc-small/test_cases_bc/crux-bc/libbz2.so.bc" start time: May 09 11:39 UTC
+Output:
+----------------------------------------------------------
+Executing command: ./wpa -vfspta -dump-vfg -dump-json=ir.json /home/runner/work/SVF/SVF/Test-Suite/test_cases_bc/crux-bc/libbz2.so.bc
+Executing command: ./wpa -vfspta -read-json ir.json
+<end of output>
+Test time =   2.63 sec
+----------------------------------------------------------
+Test Passed.
+"diff-perf-cruxbc-small/test_cases_bc/crux-bc/libbz2.so.bc" end time: May 09 11:39 UTC
+"diff-perf-cruxbc-small/test_cases_bc/crux-bc/libbz2.so.bc" time elapsed: 00:00:02
+----------------------------------------------------------
+
+1156/1574 Testing: diff-perf-cruxbc-small/test_cases_bc/crux-bc/bunzip2.bc
+1156/1574 Test: diff-perf-cruxbc-small/test_cases_bc/crux-bc/bunzip2.bc
+Command: "/home/runner/work/SVF/SVF/Test-Suite/diff_tests/difftest.py" "wpa -vfspta -dump-vfg -dump-json=ir.json" "wpa -vfspta -read-json" "/home/runner/work/SVF/SVF/Test-Suite/test_cases_bc/crux-bc/bunzip2.bc" "ir.json"
+Directory: /home/runner/work/SVF/SVF/Release-build/bin
+"diff-perf-cruxbc-small/test_cases_bc/crux-bc/bunzip2.bc" start time: May 09 11:39 UTC
+Output:
+----------------------------------------------------------
+Executing command: ./wpa -vfspta -dump-vfg -dump-json=ir.json /home/runner/work/SVF/SVF/Test-Suite/test_cases_bc/crux-bc/bunzip2.bc
+Executing command: ./wpa -vfspta -read-json ir.json
+<end of output>
+Test time =   3.10 sec
+----------------------------------------------------------
+Test Passed.
+"diff-perf-cruxbc-small/test_cases_bc/crux-bc/bunzip2.bc" end time: May 09 11:39 UTC
+"diff-perf-cruxbc-small/test_cases_bc/crux-bc/bunzip2.bc" time elapsed: 00:00:03
+----------------------------------------------------------
+
+1157/1574 Testing: diff-perf-cruxbc-small/test_cases_bc/crux-bc/htop.bc
+1157/1574 Test: diff-perf-cruxbc-small/test_cases_bc/crux-bc/htop.bc
+Command: "/home/runner/work/SVF/SVF/Test-Suite/diff_tests/difftest.py" "wpa -vfspta -dump-vfg -dump-json=ir.json" "wpa -vfspta -read-json" "/home/runner/work/SVF/SVF/Test-Suite/test_cases_bc/crux-bc/htop.bc" "ir.json"
+Directory: /home/runner/work/SVF/SVF/Release-build/bin
+"diff-perf-cruxbc-small/test_cases_bc/crux-bc/htop.bc" start time: May 09 11:39 UTC
+Output:
+----------------------------------------------------------
+vcall gep idx not constantint
+Executing command: ./wpa -vfspta -dump-vfg -dump-json=ir.json /home/runner/work/SVF/SVF/Test-Suite/test_cases_bc/crux-bc/htop.bc
+Executing command: ./wpa -vfspta -read-json ir.json
+<end of output>
+Test time =   9.97 sec
+----------------------------------------------------------
+Test Passed.
+"diff-perf-cruxbc-small/test_cases_bc/crux-bc/htop.bc" end time: May 09 11:39 UTC
+"diff-perf-cruxbc-small/test_cases_bc/crux-bc/htop.bc" time elapsed: 00:00:09
+----------------------------------------------------------
+
+1158/1574 Testing: diff-perf-cruxbc-big/test_cases_bc/crux-bc/libcurl.so.bc
+1158/1574 Test: diff-perf-cruxbc-big/test_cases_bc/crux-bc/libcurl.so.bc
+Command: "/home/runner/work/SVF/SVF/Test-Suite/diff_tests/difftest.py" "wpa -ander -dump-json=ir.json" "wpa -ander -read-json" "/home/runner/work/SVF/SVF/Test-Suite/test_cases_bc/crux-bc/libcurl.so.bc" "ir.json"
+Directory: /home/runner/work/SVF/SVF/Release-build/bin
+"diff-perf-cruxbc-big/test_cases_bc/crux-bc/libcurl.so.bc" start time: May 09 11:39 UTC
+Output:
+----------------------------------------------------------
+Executing command: ./wpa -ander -dump-json=ir.json /home/runner/work/SVF/SVF/Test-Suite/test_cases_bc/crux-bc/libcurl.so.bc
+Executing command: ./wpa -ander -read-json ir.json
+<end of output>
+Test time =  33.94 sec
+----------------------------------------------------------
+Test Passed.
+"diff-perf-cruxbc-big/test_cases_bc/crux-bc/libcurl.so.bc" end time: May 09 11:39 UTC
+"diff-perf-cruxbc-big/test_cases_bc/crux-bc/libcurl.so.bc" time elapsed: 00:00:33
+----------------------------------------------------------
+
+1159/1574 Testing: diff-perf-cruxbc-big/test_cases_bc/crux-bc/bash.bc
+1159/1574 Test: diff-perf-cruxbc-big/test_cases_bc/crux-bc/bash.bc
+Command: "/home/runner/work/SVF/SVF/Test-Suite/diff_tests/difftest.py" "wpa -ander -dump-json=ir.json" "wpa -ander -read-json" "/home/runner/work/SVF/SVF/Test-Suite/test_cases_bc/crux-bc/bash.bc" "ir.json"
+Directory: /home/runner/work/SVF/SVF/Release-build/bin
+"diff-perf-cruxbc-big/test_cases_bc/crux-bc/bash.bc" start time: May 09 11:39 UTC
+Output:
+----------------------------------------------------------
+Executing command: ./wpa -ander -dump-json=ir.json /home/runner/work/SVF/SVF/Test-Suite/test_cases_bc/crux-bc/bash.bc
+Executing command: ./wpa -ander -read-json ir.json
+<end of output>
+Test time =  42.97 sec
+----------------------------------------------------------
+Test Passed.
+"diff-perf-cruxbc-big/test_cases_bc/crux-bc/bash.bc" end time: May 09 11:40 UTC
+"diff-perf-cruxbc-big/test_cases_bc/crux-bc/bash.bc" time elapsed: 00:00:42
+----------------------------------------------------------
+
+End testing: May 09 11:40 UTC