From 7f0d686ccc4fee181e81a9f248203ff4aaad60f8 Mon Sep 17 00:00:00 2001 From: GitHub Actions Build Date: Mon, 27 May 2024 06:09:47 +0000 Subject: [PATCH] update latest SVF performance data --- diff_tests/perf-latest.txt | 50 +++---- .../perf_history/perf-2024-05-27T06:09:47.txt | 123 ++++++++++++++++++ 2 files changed, 148 insertions(+), 25 deletions(-) create mode 100644 diff_tests/perf_history/perf-2024-05-27T06:09:47.txt diff --git a/diff_tests/perf-latest.txt b/diff_tests/perf-latest.txt index 880efb91..1d5bfd73 100644 --- a/diff_tests/perf-latest.txt +++ b/diff_tests/perf-latest.txt @@ -1,19 +1,19 @@ -Start testing: May 27 04:59 UTC +Start testing: May 27 06:08 UTC ---------------------------------------------------------- 1153/1582 Testing: diff-perf-cruxbc-small/test_cases_bc/crux-bc/dc.bc 1153/1582 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 27 04:59 UTC +"diff-perf-cruxbc-small/test_cases_bc/crux-bc/dc.bc" start time: May 27 06:08 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.96 sec +Test time = 0.97 sec ---------------------------------------------------------- Test Passed. -"diff-perf-cruxbc-small/test_cases_bc/crux-bc/dc.bc" end time: May 27 04:59 UTC +"diff-perf-cruxbc-small/test_cases_bc/crux-bc/dc.bc" end time: May 27 06:08 UTC "diff-perf-cruxbc-small/test_cases_bc/crux-bc/dc.bc" time elapsed: 00:00:00 ---------------------------------------------------------- @@ -21,16 +21,16 @@ Test Passed. 1154/1582 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 27 04:59 UTC +"diff-perf-cruxbc-small/test_cases_bc/crux-bc/bc.bc" start time: May 27 06:08 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.83 sec ---------------------------------------------------------- Test Passed. -"diff-perf-cruxbc-small/test_cases_bc/crux-bc/bc.bc" end time: May 27 04:59 UTC +"diff-perf-cruxbc-small/test_cases_bc/crux-bc/bc.bc" end time: May 27 06:08 UTC "diff-perf-cruxbc-small/test_cases_bc/crux-bc/bc.bc" time elapsed: 00:00:01 ---------------------------------------------------------- @@ -38,16 +38,16 @@ Test Passed. 1155/1582 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 27 04:59 UTC +"diff-perf-cruxbc-small/test_cases_bc/crux-bc/libbz2.so.bc" start time: May 27 06:08 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.54 sec +Test time = 2.61 sec ---------------------------------------------------------- Test Passed. -"diff-perf-cruxbc-small/test_cases_bc/crux-bc/libbz2.so.bc" end time: May 27 04:59 UTC +"diff-perf-cruxbc-small/test_cases_bc/crux-bc/libbz2.so.bc" end time: May 27 06:08 UTC "diff-perf-cruxbc-small/test_cases_bc/crux-bc/libbz2.so.bc" time elapsed: 00:00:02 ---------------------------------------------------------- @@ -55,16 +55,16 @@ Test Passed. 1156/1582 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 27 04:59 UTC +"diff-perf-cruxbc-small/test_cases_bc/crux-bc/bunzip2.bc" start time: May 27 06:08 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 = 3.19 sec ---------------------------------------------------------- Test Passed. -"diff-perf-cruxbc-small/test_cases_bc/crux-bc/bunzip2.bc" end time: May 27 04:59 UTC +"diff-perf-cruxbc-small/test_cases_bc/crux-bc/bunzip2.bc" end time: May 27 06:08 UTC "diff-perf-cruxbc-small/test_cases_bc/crux-bc/bunzip2.bc" time elapsed: 00:00:03 ---------------------------------------------------------- @@ -72,34 +72,34 @@ Test Passed. 1157/1582 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 27 04:59 UTC +"diff-perf-cruxbc-small/test_cases_bc/crux-bc/htop.bc" start time: May 27 06:08 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.96 sec +Test time = 10.09 sec ---------------------------------------------------------- Test Passed. -"diff-perf-cruxbc-small/test_cases_bc/crux-bc/htop.bc" end time: May 27 04:59 UTC -"diff-perf-cruxbc-small/test_cases_bc/crux-bc/htop.bc" time elapsed: 00:00:09 +"diff-perf-cruxbc-small/test_cases_bc/crux-bc/htop.bc" end time: May 27 06:08 UTC +"diff-perf-cruxbc-small/test_cases_bc/crux-bc/htop.bc" time elapsed: 00:00:10 ---------------------------------------------------------- 1158/1582 Testing: diff-perf-cruxbc-big/test_cases_bc/crux-bc/libcurl.so.bc 1158/1582 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 27 04:59 UTC +"diff-perf-cruxbc-big/test_cases_bc/crux-bc/libcurl.so.bc" start time: May 27 06:08 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 = 33.11 sec +Test time = 33.55 sec ---------------------------------------------------------- Test Passed. -"diff-perf-cruxbc-big/test_cases_bc/crux-bc/libcurl.so.bc" end time: May 27 05:00 UTC +"diff-perf-cruxbc-big/test_cases_bc/crux-bc/libcurl.so.bc" end time: May 27 06:09 UTC "diff-perf-cruxbc-big/test_cases_bc/crux-bc/libcurl.so.bc" time elapsed: 00:00:33 ---------------------------------------------------------- @@ -107,17 +107,17 @@ Test Passed. 1159/1582 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 27 05:00 UTC +"diff-perf-cruxbc-big/test_cases_bc/crux-bc/bash.bc" start time: May 27 06:09 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 = 40.88 sec +Test time = 44.83 sec ---------------------------------------------------------- Test Passed. -"diff-perf-cruxbc-big/test_cases_bc/crux-bc/bash.bc" end time: May 27 05:00 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 27 06:09 UTC +"diff-perf-cruxbc-big/test_cases_bc/crux-bc/bash.bc" time elapsed: 00:00:44 ---------------------------------------------------------- -End testing: May 27 05:00 UTC +End testing: May 27 06:09 UTC diff --git a/diff_tests/perf_history/perf-2024-05-27T06:09:47.txt b/diff_tests/perf_history/perf-2024-05-27T06:09:47.txt new file mode 100644 index 00000000..1d5bfd73 --- /dev/null +++ b/diff_tests/perf_history/perf-2024-05-27T06:09:47.txt @@ -0,0 +1,123 @@ +Start testing: May 27 06:08 UTC +---------------------------------------------------------- +1153/1582 Testing: diff-perf-cruxbc-small/test_cases_bc/crux-bc/dc.bc +1153/1582 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 27 06:08 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.97 sec +---------------------------------------------------------- +Test Passed. +"diff-perf-cruxbc-small/test_cases_bc/crux-bc/dc.bc" end time: May 27 06:08 UTC +"diff-perf-cruxbc-small/test_cases_bc/crux-bc/dc.bc" time elapsed: 00:00:00 +---------------------------------------------------------- + +1154/1582 Testing: diff-perf-cruxbc-small/test_cases_bc/crux-bc/bc.bc +1154/1582 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 27 06:08 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.83 sec +---------------------------------------------------------- +Test Passed. +"diff-perf-cruxbc-small/test_cases_bc/crux-bc/bc.bc" end time: May 27 06:08 UTC +"diff-perf-cruxbc-small/test_cases_bc/crux-bc/bc.bc" time elapsed: 00:00:01 +---------------------------------------------------------- + +1155/1582 Testing: diff-perf-cruxbc-small/test_cases_bc/crux-bc/libbz2.so.bc +1155/1582 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 27 06:08 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.61 sec +---------------------------------------------------------- +Test Passed. +"diff-perf-cruxbc-small/test_cases_bc/crux-bc/libbz2.so.bc" end time: May 27 06:08 UTC +"diff-perf-cruxbc-small/test_cases_bc/crux-bc/libbz2.so.bc" time elapsed: 00:00:02 +---------------------------------------------------------- + +1156/1582 Testing: diff-perf-cruxbc-small/test_cases_bc/crux-bc/bunzip2.bc +1156/1582 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 27 06:08 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.19 sec +---------------------------------------------------------- +Test Passed. +"diff-perf-cruxbc-small/test_cases_bc/crux-bc/bunzip2.bc" end time: May 27 06:08 UTC +"diff-perf-cruxbc-small/test_cases_bc/crux-bc/bunzip2.bc" time elapsed: 00:00:03 +---------------------------------------------------------- + +1157/1582 Testing: diff-perf-cruxbc-small/test_cases_bc/crux-bc/htop.bc +1157/1582 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 27 06:08 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 = 10.09 sec +---------------------------------------------------------- +Test Passed. +"diff-perf-cruxbc-small/test_cases_bc/crux-bc/htop.bc" end time: May 27 06:08 UTC +"diff-perf-cruxbc-small/test_cases_bc/crux-bc/htop.bc" time elapsed: 00:00:10 +---------------------------------------------------------- + +1158/1582 Testing: diff-perf-cruxbc-big/test_cases_bc/crux-bc/libcurl.so.bc +1158/1582 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 27 06:08 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 = 33.55 sec +---------------------------------------------------------- +Test Passed. +"diff-perf-cruxbc-big/test_cases_bc/crux-bc/libcurl.so.bc" end time: May 27 06:09 UTC +"diff-perf-cruxbc-big/test_cases_bc/crux-bc/libcurl.so.bc" time elapsed: 00:00:33 +---------------------------------------------------------- + +1159/1582 Testing: diff-perf-cruxbc-big/test_cases_bc/crux-bc/bash.bc +1159/1582 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 27 06:09 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 = 44.83 sec +---------------------------------------------------------- +Test Passed. +"diff-perf-cruxbc-big/test_cases_bc/crux-bc/bash.bc" end time: May 27 06:09 UTC +"diff-perf-cruxbc-big/test_cases_bc/crux-bc/bash.bc" time elapsed: 00:00:44 +---------------------------------------------------------- + +End testing: May 27 06:09 UTC