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

[Backport release-23.11] renode: 1.15.0 -> 1.15.1 #320268

Merged
merged 1 commit into from
Jun 17, 2024

renode: 1.15.0 -> 1.15.1

d38de42
Select commit
Loading
Failed to load commit list.
Merged

[Backport release-23.11] renode: 1.15.0 -> 1.15.1 #320268

renode: 1.15.0 -> 1.15.1
d38de42
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded Jun 16, 2024

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 514.47 516.61 ↗ 2.14 0.42%
envs-bytes 17,440,486,432 17,440,486,432 0
envs-elements 911,606,294 911,606,294 0
envs-number 634,227,255 634,227,255 0
gc-heapSize 52,365,856,768 52,315,529,216 ↘ 50,327,552 -0.10%
gc-totalBytes 103,084,942,016 103,084,942,608 ↗ 592 0.00%
list-bytes 2,450,254,848 2,450,254,848 0
list-concats 53,265,653 53,265,653 0
list-elements 306,281,856 306,281,856 0
nrAvoided 769,466,947 769,466,947 0
nrFunctionCalls 590,845,166 590,845,166 0
nrLookups 327,966,247 327,966,247 0
nrOpUpdateValuesCopied 1,484,761,383 1,484,761,383 0
nrOpUpdates 68,548,230 68,548,230 0
nrPrimOpCalls 291,438,775 291,438,775 0
nrThunks 837,915,356 837,915,356 0
sets-bytes 32,945,087,488 32,945,087,488 0
sets-elements 1,939,412,804 1,939,412,804 0
sets-number 119,655,164 119,655,164 0
sizes-Attr 16 16 0
sizes-Bindings 16 16 0
sizes-Env 16 16 0
sizes-Value 24 24 0
symbols-bytes 2,196,324 2,196,324 0
symbols-number 161,430 161,430 0
values-bytes 26,158,800,936 26,158,800,936 0
values-number 1,089,950,039 1,089,950,039 0