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

srcOnly: make the -source suffix optional #333900

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

srcOnly: make the `-source` suffix optional

3eb7bac
Select commit
Loading
Failed to load commit list.
Open

srcOnly: make the -source suffix optional #333900

srcOnly: make the `-source` suffix optional
3eb7bac
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded Aug 11, 2024

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 705.10 708.34 ↗ 3.25 0.46%
envs-bytes 23,199,577,352 23,199,590,984 ↗ 13,632 0.00%
envs-elements 1,225,447,859 1,225,449,563 ↗ 1,704 0.00%
envs-number 837,249,655 837,249,655 0
gc-heapSize 68,052,553,728 67,884,785,664 ↘ 167,768,064 -0.25%
gc-totalBytes 142,128,994,448 142,128,994,064 ↘ 384 -0.00%
list-bytes 4,005,936,952 4,005,936,952 0
list-concats 92,709,048 92,709,048 0
list-elements 500,742,119 500,742,119 0
nrAvoided 972,608,801 972,603,699 ↘ 5,102 -0.00%
nrFunctionCalls 769,796,406 769,796,406 0
nrLookups 395,209,545 395,206,142 ↘ 3,403 -0.00%
nrOpUpdateValuesCopied 2,049,851,146 2,049,851,146 0
nrOpUpdates 94,338,642 94,338,642 0
nrPrimOpCalls 403,211,862 403,208,459 ↘ 3,403 -0.00%
nrThunks 1,200,844,928 1,200,844,928 0
sets-bytes 46,560,034,416 46,560,034,416 0
sets-elements 2,732,869,326 2,732,869,326 0
sets-number 177,132,825 177,132,825 0
sizes-Attr 16 16 0
sizes-Bindings 16 16 0
sizes-Env 16 16 0
sizes-Value 24 24 0
symbols-bytes 2,933,358 2,933,366 ↗ 8 0.00%
symbols-number 179,296 179,297 ↗ 1 0.00%
values-bytes 36,912,587,088 36,912,587,088 0
values-number 1,538,024,462 1,538,024,462 0