minor gas fix

[edg-l]

This applies a libfunc gas fix i found in #875
but is separate from the builtin costs rework.

The bug was that when the withdraw gas fails, on the failure branch it returned the substracted gas, but it should return the non substracted gas

Checklist

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

[github-actions]

Benchmarking results

Benchmark for program factorial_2M

Open benchmarks

Command	Mean [s]	Min [s]	Max [s]	Relative
Cairo-vm (Rust, Cairo 1)	10.938 ± 0.286	10.682	11.472	23.79 ± 0.63
cairo-native (embedded AOT)	3.160 ± 0.039	3.123	3.256	6.87 ± 0.09
cairo-native (embedded JIT using LLVM's ORC Engine)	3.186 ± 0.050	3.138	3.286	6.93 ± 0.11
cairo-native (standalone AOT)	0.663 ± 0.005	0.659	0.672	1.44 ± 0.01
cairo-native (standalone AOT with -march=native)	0.460 ± 0.001	0.459	0.464	1.00

Benchmark for program fib_2M

Open benchmarks

Command	Mean [s]	Min [s]	Max [s]	Relative
Cairo-vm (Rust, Cairo 1)	11.272 ± 0.289	10.773	11.657	1520.54 ± 40.68
cairo-native (embedded AOT)	2.917 ± 0.059	2.792	2.997	393.48 ± 8.55
cairo-native (embedded JIT using LLVM's ORC Engine)	2.818 ± 0.035	2.771	2.894	380.09 ± 5.55
cairo-native (standalone AOT)	0.007 ± 0.000	0.007	0.008	1.00
cairo-native (standalone AOT with -march=native)	0.008 ± 0.000	0.008	0.009	1.08 ± 0.01

Benchmark for program logistic_map

Open benchmarks

Command	Mean [s]	Min [s]	Max [s]	Relative
Cairo-vm (Rust, Cairo 1)	4.461 ± 0.034	4.426	4.523	62.08 ± 0.51
cairo-native (embedded AOT)	3.015 ± 0.043	2.955	3.080	41.95 ± 0.62
cairo-native (embedded JIT using LLVM's ORC Engine)	3.170 ± 0.054	3.078	3.244	44.11 ± 0.76
cairo-native (standalone AOT)	0.116 ± 0.000	0.116	0.117	1.61 ± 0.01
cairo-native (standalone AOT with -march=native)	0.072 ± 0.000	0.072	0.073	1.00

[github-actions]

Benchmark results Main vs HEAD.

Command	Mean [s]	Min [s]	Max [s]	Relative
head factorial_2M.cairo (JIT)	3.191 ± 0.029	3.151	3.233	1.02 ± 0.01
base factorial_2M.cairo (JIT)	3.174 ± 0.022	3.147	3.226	1.02 ± 0.01
head factorial_2M.cairo (AOT)	3.155 ± 0.023	3.131	3.195	1.01 ± 0.01
base factorial_2M.cairo (AOT)	3.116 ± 0.010	3.098	3.131	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
head fib_2M.cairo (JIT)	2.689 ± 0.020	2.656	2.724	1.01 ± 0.01
base fib_2M.cairo (JIT)	2.712 ± 0.021	2.682	2.746	1.02 ± 0.01
head fib_2M.cairo (AOT)	2.654 ± 0.019	2.620	2.675	1.00
base fib_2M.cairo (AOT)	2.663 ± 0.013	2.645	2.684	1.00 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
head logistic_map.cairo (JIT)	2.974 ± 0.009	2.964	2.995	1.06 ± 0.01
base logistic_map.cairo (JIT)	2.989 ± 0.015	2.967	3.015	1.06 ± 0.01
head logistic_map.cairo (AOT)	2.830 ± 0.013	2.814	2.856	1.00 ± 0.01
base logistic_map.cairo (AOT)	2.819 ± 0.015	2.801	2.841	1.00

[codecov-commenter]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 82.82%. Comparing base (e36bf30) to head (8aafd6c).

Additional details and impacted files

@@           Coverage Diff           @@
##             main     #881   +/-   ##
=======================================
  Coverage   82.82%   82.82%           
=======================================
  Files         120      120           
  Lines       34941    34941           
=======================================
  Hits        28941    28941           
  Misses       6000     6000           

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