Fix builtin counter difference

[DiegoCivi]

Checklist

• Linked to Github Issue
• Unit tests added
• Integration tests added.
• This change requires new documentation.
  • Documentation has been added/updated.

[github-actions]

Benchmark results Main vs HEAD.

Base

Command	Mean [s]	Min [s]	Max [s]	Relative
base dict_insert.cairo (JIT)	5.100 ± 0.038	5.048	5.171	1.02 ± 0.01
base dict_insert.cairo (AOT)	5.017 ± 0.025	4.980	5.051	1.00

Head

Command	Mean [s]	Min [s]	Max [s]	Relative
head dict_insert.cairo (JIT)	5.098 ± 0.031	5.055	5.145	1.02 ± 0.01
head dict_insert.cairo (AOT)	5.004 ± 0.053	4.965	5.134	1.00

Base

Command	Mean [s]	Min [s]	Max [s]	Relative
base dict_snapshot.cairo (JIT)	5.009 ± 0.022	4.970	5.051	1.02 ± 0.01
base dict_snapshot.cairo (AOT)	4.899 ± 0.035	4.849	4.969	1.00

Head

Command	Mean [s]	Min [s]	Max [s]	Relative
head dict_snapshot.cairo (JIT)	4.997 ± 0.028	4.963	5.060	1.02 ± 0.01
head dict_snapshot.cairo (AOT)	4.891 ± 0.029	4.842	4.939	1.00

Base

Command	Mean [s]	Min [s]	Max [s]	Relative
base factorial_2M.cairo (JIT)	5.361 ± 0.024	5.327	5.399	1.01 ± 0.01
base factorial_2M.cairo (AOT)	5.314 ± 0.033	5.280	5.378	1.00

Head

Command	Mean [s]	Min [s]	Max [s]	Relative
head factorial_2M.cairo (JIT)	5.344 ± 0.034	5.295	5.400	1.01 ± 0.01
head factorial_2M.cairo (AOT)	5.300 ± 0.018	5.260	5.318	1.00

Base

Command	Mean [s]	Min [s]	Max [s]	Relative
base fib_2M.cairo (JIT)	4.909 ± 0.042	4.856	4.979	1.01 ± 0.01
base fib_2M.cairo (AOT)	4.849 ± 0.036	4.797	4.896	1.00

Head

Command	Mean [s]	Min [s]	Max [s]	Relative
head fib_2M.cairo (JIT)	4.911 ± 0.046	4.859	4.999	1.01 ± 0.01
head fib_2M.cairo (AOT)	4.845 ± 0.030	4.799	4.895	1.00

Base

Command	Mean [s]	Min [s]	Max [s]	Relative
base linear_search.cairo (JIT)	5.086 ± 0.014	5.068	5.109	1.02 ± 0.01
base linear_search.cairo (AOT)	4.983 ± 0.037	4.911	5.033	1.00

Head

Command	Mean [s]	Min [s]	Max [s]	Relative
head linear_search.cairo (JIT)	5.084 ± 0.021	5.054	5.121	1.03 ± 0.01
head linear_search.cairo (AOT)	4.945 ± 0.022	4.918	4.978	1.00

Base

Command	Mean [s]	Min [s]	Max [s]	Relative
base logistic_map.cairo (JIT)	5.194 ± 0.027	5.148	5.236	1.03 ± 0.01
base logistic_map.cairo (AOT)	5.030 ± 0.029	4.988	5.072	1.00

Head

Command	Mean [s]	Min [s]	Max [s]	Relative
head logistic_map.cairo (JIT)	5.197 ± 0.050	5.128	5.280	1.03 ± 0.01
head logistic_map.cairo (AOT)	5.037 ± 0.013	5.013	5.051	1.00

[github-actions]

Benchmarking results

Benchmark for program dict_insert

Open benchmarks

Command	Mean [s]	Min [s]	Max [s]	Relative
Cairo-vm (Rust, Cairo 1)	11.596 ± 0.059	11.515	11.682	2.28 ± 0.02
cairo-native (embedded AOT)	5.120 ± 0.083	4.978	5.211	1.01 ± 0.02
cairo-native (embedded JIT using LLVM's ORC Engine)	5.087 ± 0.039	5.032	5.137	1.00

Benchmark for program dict_snapshot

Open benchmarks

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
Cairo-vm (Rust, Cairo 1)	808.7 ± 9.1	799.3	829.9	1.00
cairo-native (embedded AOT)	4900.4 ± 31.1	4860.8	4947.1	6.06 ± 0.08
cairo-native (embedded JIT using LLVM's ORC Engine)	5015.5 ± 35.0	4977.6	5088.3	6.20 ± 0.08

Benchmark for program factorial_2M

Open benchmarks

Command	Mean [s]	Min [s]	Max [s]	Relative
Cairo-vm (Rust, Cairo 1)	5.401 ± 0.038	5.345	5.493	1.01 ± 0.01
cairo-native (embedded AOT)	5.336 ± 0.051	5.282	5.447	1.00
cairo-native (embedded JIT using LLVM's ORC Engine)	5.353 ± 0.037	5.294	5.423	1.00 ± 0.01

Benchmark for program fib_2M

Open benchmarks

Command	Mean [s]	Min [s]	Max [s]	Relative
Cairo-vm (Rust, Cairo 1)	5.126 ± 0.010	5.110	5.145	1.06 ± 0.00
cairo-native (embedded AOT)	4.817 ± 0.018	4.793	4.841	1.00
cairo-native (embedded JIT using LLVM's ORC Engine)	4.878 ± 0.024	4.835	4.914	1.01 ± 0.01

Benchmark for program linear_search

Open benchmarks

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
Cairo-vm (Rust, Cairo 1)	830.4 ± 6.0	821.4	840.6	1.00
cairo-native (embedded AOT)	4931.4 ± 38.4	4865.3	5007.5	5.94 ± 0.06
cairo-native (embedded JIT using LLVM's ORC Engine)	5073.1 ± 28.2	5038.0	5122.6	6.11 ± 0.06

Benchmark for program logistic_map

Open benchmarks

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
Cairo-vm (Rust, Cairo 1)	540.8 ± 6.4	532.3	554.3	1.00
cairo-native (embedded AOT)	4971.0 ± 20.7	4950.1	5012.5	9.19 ± 0.12
cairo-native (embedded JIT using LLVM's ORC Engine)	5168.6 ± 27.7	5145.4	5215.1	9.56 ± 0.12

[codecov-commenter]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 80.21%. Comparing base (4700833) to head (6bfda03).

Additional details and impacted files

@@           Coverage Diff           @@
##             main    #1270   +/-   ##
=======================================
  Coverage   80.21%   80.21%           
=======================================
  Files         112      112           
  Lines       29880    29881    +1     
=======================================
+ Hits        23967    23968    +1     
  Misses       5913     5913           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[DiegoCivi]

This was done in #1277