@@ -2285,19 +2285,19 @@ fn test_compute_alpha_values() {
2285
2285
// exp_val = exp(0.0 - 1.0 * 0.1) = exp(-0.1)
2286
2286
// alpha[0] = 1 / (1 + exp(-0.1)) ~ 0.9048374180359595
2287
2287
let exp_val_0 = I32F32 :: from_num ( 0.9048374180359595 ) ;
2288
- let expected_alpha_0 = I32F32 :: from_num ( 1.0 ) / I32F32 :: from_num ( 1.0 ) . saturating_add ( exp_val_0) ;
2288
+ let expected_alpha_0 = I32F32 :: from_num ( 1.0 ) / ( I32F32 :: from_num ( 1.0 ) + exp_val_0) ;
2289
2289
2290
2290
// For consensus[1] = 0.5:
2291
2291
// exp_val = exp(0.0 - 1.0 * 0.5) = exp(-0.5)
2292
2292
// alpha[1] = 1 / (1 + exp(-0.5)) ~ 0.6065306597126334
2293
2293
let exp_val_1 = I32F32 :: from_num ( 0.6065306597126334 ) ;
2294
- let expected_alpha_1 = I32F32 :: from_num ( 1.0 ) / I32F32 :: from_num ( 1.0 ) . saturating_add ( exp_val_1) ;
2294
+ let expected_alpha_1 = I32F32 :: from_num ( 1.0 ) / ( I32F32 :: from_num ( 1.0 ) + exp_val_1) ;
2295
2295
2296
2296
// For consensus[2] = 0.9:
2297
2297
// exp_val = exp(0.0 - 1.0 * 0.9) = exp(-0.9)
2298
2298
// alpha[2] = 1 / (1 + exp(-0.9)) ~ 0.4065696597405991
2299
2299
let exp_val_2 = I32F32 :: from_num ( 0.4065696597405991 ) ;
2300
- let expected_alpha_2 = I32F32 :: from_num ( 1.0 ) / I32F32 :: from_num ( 1.0 ) . saturating_add ( exp_val_2) ;
2300
+ let expected_alpha_2 = I32F32 :: from_num ( 1.0 ) / ( I32F32 :: from_num ( 1.0 ) + exp_val_2) ;
2301
2301
2302
2302
// Define an epsilon for approximate equality checks.
2303
2303
let epsilon = I32F32 :: from_num ( 1e-6 ) ;
@@ -2329,13 +2329,13 @@ fn test_compute_alpha_values_256_miners() {
2329
2329
2330
2330
for ( i, & c) in consensus. iter ( ) . enumerate ( ) {
2331
2331
// Use saturating subtraction and multiplication
2332
- let exponent = b. saturating_sub ( a . saturating_mul ( c ) ) ;
2332
+ let exponent = b - ( a * c ) ;
2333
2333
2334
2334
// Use safe_exp instead of exp
2335
2335
let exp_val = safe_exp ( exponent) ;
2336
2336
2337
2337
// Use saturating addition and division
2338
- let expected_alpha = I32F32 :: from_num ( 1.0 ) / I32F32 :: from_num ( 1.0 ) . saturating_add ( exp_val) ;
2338
+ let expected_alpha = I32F32 :: from_num ( 1.0 ) / ( I32F32 :: from_num ( 1.0 ) + exp_val) ;
2339
2339
2340
2340
// Assert that the computed alpha values match the expected values within the epsilon.
2341
2341
assert_approx_eq ( alpha[ i] , expected_alpha, epsilon) ;
0 commit comments