From a264d9ed4fa693c3816bb649cbb2825bbe4563f8 Mon Sep 17 00:00:00 2001 From: GitHub Actions Build Date: Mon, 29 Apr 2024 12:51:37 +0000 Subject: [PATCH] update latest SVF performance data --- diff_tests/perf-latest.txt | 52 ++++---- .../perf_history/perf-2024-04-29T12:51:37.txt | 123 ++++++++++++++++++ 2 files changed, 149 insertions(+), 26 deletions(-) create mode 100644 diff_tests/perf_history/perf-2024-04-29T12:51:37.txt diff --git a/diff_tests/perf-latest.txt b/diff_tests/perf-latest.txt index bdc92ff7..04253b3e 100644 --- a/diff_tests/perf-latest.txt +++ b/diff_tests/perf-latest.txt @@ -1,19 +1,19 @@ -Start testing: Apr 29 12:32 UTC +Start testing: Apr 29 12:50 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: Apr 29 12:32 UTC +"diff-perf-cruxbc-small/test_cases_bc/crux-bc/dc.bc" start time: Apr 29 12:50 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 -Test time = 0.94 sec +Test time = 0.89 sec ---------------------------------------------------------- Test Passed. -"diff-perf-cruxbc-small/test_cases_bc/crux-bc/dc.bc" end time: Apr 29 12:32 UTC +"diff-perf-cruxbc-small/test_cases_bc/crux-bc/dc.bc" end time: Apr 29 12:50 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: Apr 29 12:32 UTC +"diff-perf-cruxbc-small/test_cases_bc/crux-bc/bc.bc" start time: Apr 29 12:50 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 -Test time = 1.79 sec +Test time = 1.69 sec ---------------------------------------------------------- Test Passed. -"diff-perf-cruxbc-small/test_cases_bc/crux-bc/bc.bc" end time: Apr 29 12:32 UTC +"diff-perf-cruxbc-small/test_cases_bc/crux-bc/bc.bc" end time: Apr 29 12:50 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: Apr 29 12:32 UTC +"diff-perf-cruxbc-small/test_cases_bc/crux-bc/libbz2.so.bc" start time: Apr 29 12:50 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 -Test time = 2.51 sec +Test time = 2.34 sec ---------------------------------------------------------- Test Passed. -"diff-perf-cruxbc-small/test_cases_bc/crux-bc/libbz2.so.bc" end time: Apr 29 12:33 UTC +"diff-perf-cruxbc-small/test_cases_bc/crux-bc/libbz2.so.bc" end time: Apr 29 12:50 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: Apr 29 12:33 UTC +"diff-perf-cruxbc-small/test_cases_bc/crux-bc/bunzip2.bc" start time: Apr 29 12:50 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 -Test time = 3.04 sec +Test time = 2.87 sec ---------------------------------------------------------- Test Passed. -"diff-perf-cruxbc-small/test_cases_bc/crux-bc/bunzip2.bc" end time: Apr 29 12:33 UTC -"diff-perf-cruxbc-small/test_cases_bc/crux-bc/bunzip2.bc" time elapsed: 00:00:03 +"diff-perf-cruxbc-small/test_cases_bc/crux-bc/bunzip2.bc" end time: Apr 29 12:50 UTC +"diff-perf-cruxbc-small/test_cases_bc/crux-bc/bunzip2.bc" time elapsed: 00:00:02 ---------------------------------------------------------- 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: Apr 29 12:33 UTC +"diff-perf-cruxbc-small/test_cases_bc/crux-bc/htop.bc" start time: Apr 29 12:50 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 -Test time = 9.77 sec +Test time = 9.31 sec ---------------------------------------------------------- Test Passed. -"diff-perf-cruxbc-small/test_cases_bc/crux-bc/htop.bc" end time: Apr 29 12:33 UTC +"diff-perf-cruxbc-small/test_cases_bc/crux-bc/htop.bc" end time: Apr 29 12:50 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: Apr 29 12:33 UTC +"diff-perf-cruxbc-big/test_cases_bc/crux-bc/libcurl.so.bc" start time: Apr 29 12:50 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 -Test time = 32.67 sec +Test time = 31.35 sec ---------------------------------------------------------- Test Passed. -"diff-perf-cruxbc-big/test_cases_bc/crux-bc/libcurl.so.bc" end time: Apr 29 12:33 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: Apr 29 12:50 UTC +"diff-perf-cruxbc-big/test_cases_bc/crux-bc/libcurl.so.bc" time elapsed: 00:00:31 ---------------------------------------------------------- 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: Apr 29 12:33 UTC +"diff-perf-cruxbc-big/test_cases_bc/crux-bc/bash.bc" start time: Apr 29 12:50 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 -Test time = 43.39 sec +Test time = 38.69 sec ---------------------------------------------------------- Test Passed. -"diff-perf-cruxbc-big/test_cases_bc/crux-bc/bash.bc" end time: Apr 29 12:34 UTC -"diff-perf-cruxbc-big/test_cases_bc/crux-bc/bash.bc" time elapsed: 00:00:43 +"diff-perf-cruxbc-big/test_cases_bc/crux-bc/bash.bc" end time: Apr 29 12:51 UTC +"diff-perf-cruxbc-big/test_cases_bc/crux-bc/bash.bc" time elapsed: 00:00:38 ---------------------------------------------------------- -End testing: Apr 29 12:34 UTC +End testing: Apr 29 12:51 UTC diff --git a/diff_tests/perf_history/perf-2024-04-29T12:51:37.txt b/diff_tests/perf_history/perf-2024-04-29T12:51:37.txt new file mode 100644 index 00000000..04253b3e --- /dev/null +++ b/diff_tests/perf_history/perf-2024-04-29T12:51:37.txt @@ -0,0 +1,123 @@ +Start testing: Apr 29 12:50 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: Apr 29 12:50 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 + +Test time = 0.89 sec +---------------------------------------------------------- +Test Passed. +"diff-perf-cruxbc-small/test_cases_bc/crux-bc/dc.bc" end time: Apr 29 12:50 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: Apr 29 12:50 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 + +Test time = 1.69 sec +---------------------------------------------------------- +Test Passed. +"diff-perf-cruxbc-small/test_cases_bc/crux-bc/bc.bc" end time: Apr 29 12:50 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: Apr 29 12:50 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 + +Test time = 2.34 sec +---------------------------------------------------------- +Test Passed. +"diff-perf-cruxbc-small/test_cases_bc/crux-bc/libbz2.so.bc" end time: Apr 29 12:50 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: Apr 29 12:50 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 + +Test time = 2.87 sec +---------------------------------------------------------- +Test Passed. +"diff-perf-cruxbc-small/test_cases_bc/crux-bc/bunzip2.bc" end time: Apr 29 12:50 UTC +"diff-perf-cruxbc-small/test_cases_bc/crux-bc/bunzip2.bc" time elapsed: 00:00:02 +---------------------------------------------------------- + +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: Apr 29 12:50 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 + +Test time = 9.31 sec +---------------------------------------------------------- +Test Passed. +"diff-perf-cruxbc-small/test_cases_bc/crux-bc/htop.bc" end time: Apr 29 12:50 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: Apr 29 12:50 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 + +Test time = 31.35 sec +---------------------------------------------------------- +Test Passed. +"diff-perf-cruxbc-big/test_cases_bc/crux-bc/libcurl.so.bc" end time: Apr 29 12:50 UTC +"diff-perf-cruxbc-big/test_cases_bc/crux-bc/libcurl.so.bc" time elapsed: 00:00:31 +---------------------------------------------------------- + +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: Apr 29 12:50 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 + +Test time = 38.69 sec +---------------------------------------------------------- +Test Passed. +"diff-perf-cruxbc-big/test_cases_bc/crux-bc/bash.bc" end time: Apr 29 12:51 UTC +"diff-perf-cruxbc-big/test_cases_bc/crux-bc/bash.bc" time elapsed: 00:00:38 +---------------------------------------------------------- + +End testing: Apr 29 12:51 UTC