33use std:: sync:: LazyLock ;
44
55use super :: math_test_utils:: { is_quad_residue_mod_prime, MAX_DIV , RC_BOUND } ;
6+ use crate :: assert_mr_eq;
7+ use crate :: cairo_args;
8+ use crate :: load_cairo_program;
69use crate :: test_helpers:: error_utils:: {
710 expect_assert_lt_felt252, expect_assert_not_equal_fail, expect_diff_index_comp,
811 expect_diff_type_comparison, expect_hint_assert_not_zero, expect_hint_out_of_valid_range,
912 expect_hint_value_outside_250_bit_range, expect_hint_value_outside_valid_range,
1013 expect_non_le_felt252, expect_ok, expect_split_int_limb_out_of_range,
1114 expect_split_int_not_zero, VmCheck ,
1215} ;
13- use crate :: assert_mr_eq;
14- use crate :: cairo_args;
15- use crate :: load_cairo_program;
1616use crate :: types:: builtin_name:: BuiltinName ;
1717use crate :: types:: program:: Program ;
1818use crate :: types:: relocatable:: MaybeRelocatable ;
@@ -739,14 +739,7 @@ fn test_signed_div_rem(
739739) ]
740740// Case: value=0x1234FCDA, n=10, base=16, bound=15, expected_output=random
741741// Expected: Error.
742- #[ case:: out_of_bound_limb(
743- 0x1234FCDA ,
744- 10 ,
745- 16 ,
746- 15 ,
747- None ,
748- expect_split_int_limb_out_of_range
749- ) ]
742+ #[ case:: out_of_bound_limb( 0x1234FCDA , 10 , 16 , 15 , None , expect_split_int_limb_out_of_range) ]
750743// Case: value=0xAAA, n=3, base=16, bound=11, expected_output=vec![0xA, 0xA, 0xA]
751744// Expected: Success.
752745#[ case:: exact_fit(
@@ -759,14 +752,7 @@ fn test_signed_div_rem(
759752) ]
760753// Case: value=0xAAA, n=3, base=16, bound=10, expected_output=random
761754// Expected: Error.
762- #[ case:: bound_too_small(
763- 0xAAA ,
764- 3 ,
765- 16 ,
766- 10 ,
767- None ,
768- expect_split_int_limb_out_of_range
769- ) ]
755+ #[ case:: bound_too_small( 0xAAA , 3 , 16 , 10 , None , expect_split_int_limb_out_of_range) ]
770756// Case: value=0xAAA, n=2, base=16, bound=16, expected_output=random
771757// Expected: Error.
772758#[ case:: value_out_of_range( 0xAAA , 2 , 16 , 16 , None , expect_split_int_not_zero) ]
0 commit comments