Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

codechecker: init at 6.23.1 #301700

Closed
wants to merge 1 commit into from

codechecker: init at 6.23.1

7b1b24b
Select commit
Loading
Failed to load commit list.
Closed

codechecker: init at 6.23.1 #301700

codechecker: init at 6.23.1
7b1b24b
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded Jun 3, 2024

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 658.41 665.01 ↗ 6.60 1.00%
envs-bytes 21,040,698,016 21,083,729,336 ↗ 43,031,320 0.20%
envs-elements 1,107,852,394 1,110,156,889 ↗ 2,304,495 0.21%
envs-number 761,117,429 762,654,639 ↗ 1,537,210 0.20%
gc-heapSize 59,093,524,480 58,992,861,184 ↘ 100,663,296 -0.17%
gc-totalBytes 130,213,704,784 130,551,018,592 ↗ 337,313,808 0.26%
list-bytes 3,669,672,480 3,677,108,824 ↗ 7,436,344 0.20%
list-concats 84,143,202 84,309,099 ↗ 165,897 0.20%
list-elements 458,709,060 459,638,603 ↗ 929,543 0.20%
nrAvoided 882,739,954 884,442,794 ↗ 1,702,840 0.19%
nrFunctionCalls 699,736,363 701,151,067 ↗ 1,414,704 0.20%
nrLookups 365,751,213 366,400,048 ↗ 648,835 0.18%
nrOpUpdateValuesCopied 1,894,282,061 1,900,407,918 ↗ 6,125,857 0.32%
nrOpUpdates 86,353,703 86,561,619 ↗ 207,916 0.24%
nrPrimOpCalls 365,447,827 366,119,409 ↗ 671,582 0.18%
nrThunks 1,085,080,930 1,087,487,280 ↗ 2,406,350 0.22%
sets-bytes 42,986,899,904 43,118,042,448 ↗ 131,142,544 0.31%
sets-elements 2,524,416,890 2,532,285,918 ↗ 7,869,028 0.31%
sets-number 162,264,354 162,591,735 ↗ 327,381 0.20%
sizes-Attr 16 16 0
sizes-Bindings 16 16 0
sizes-Env 16 16 0
sizes-Value 24 24 0
symbols-bytes 2,472,937 2,472,948 ↗ 11 0.00%
symbols-number 172,564 172,565 ↗ 1 0.00%
values-bytes 33,407,667,624 33,493,926,744 ↗ 86,259,120 0.26%
values-number 1,391,986,151 1,395,580,281 ↗ 3,594,130 0.26%