@@ -228,6 +228,60 @@ mod mod_input_instance_batch_serde {
228228
229229 Ok ( value. into_iter ( ) . enumerate ( ) . collect ( ) )
230230 }
231+
232+ #[ test]
233+ fn test_serde ( ) {
234+ let input_value = vec ! [
235+ (
236+ 0 ,
237+ ModInputMemoryVars {
238+ a_offset: 5 ,
239+ b_offset: 5 ,
240+ c_offset: 5 ,
241+ a0: Felt252 :: from( 5u32 ) ,
242+ a1: Felt252 :: from( 5u32 ) ,
243+ a2: Felt252 :: from( 5u32 ) ,
244+ a3: Felt252 :: from( 5u32 ) ,
245+ b0: Felt252 :: from( 5u32 ) ,
246+ b1: Felt252 :: from( 5u32 ) ,
247+ b2: Felt252 :: from( 5u32 ) ,
248+ b3: Felt252 :: from( 5u32 ) ,
249+ c0: Felt252 :: from( 5u32 ) ,
250+ c1: Felt252 :: from( 5u32 ) ,
251+ c2: Felt252 :: from( 5u32 ) ,
252+ c3: Felt252 :: from( 5u32 ) ,
253+ } ,
254+ ) ,
255+ (
256+ 1 ,
257+ ModInputMemoryVars {
258+ a_offset: 7 ,
259+ b_offset: 7 ,
260+ c_offset: 7 ,
261+ a0: Felt252 :: from( 7u32 ) ,
262+ a1: Felt252 :: from( 7u32 ) ,
263+ a2: Felt252 :: from( 7u32 ) ,
264+ a3: Felt252 :: from( 7u32 ) ,
265+ b0: Felt252 :: from( 7u32 ) ,
266+ b1: Felt252 :: from( 7u32 ) ,
267+ b2: Felt252 :: from( 7u32 ) ,
268+ b3: Felt252 :: from( 7u32 ) ,
269+ c0: Felt252 :: from( 7u32 ) ,
270+ c1: Felt252 :: from( 7u32 ) ,
271+ c2: Felt252 :: from( 7u32 ) ,
272+ c3: Felt252 :: from( 7u32 ) ,
273+ } ,
274+ ) ,
275+ ]
276+ . into_iter ( )
277+ . collect :: < BTreeMap < usize , _ > > ( ) ;
278+
279+ let json_value = serde_json:: to_string ( & input_value) . unwrap ( ) ;
280+ let output_value: BTreeMap < usize , ModInputMemoryVars > =
281+ serde_json:: from_str ( & json_value) . unwrap ( ) ;
282+
283+ assert_eq ! ( input_value, output_value) ;
284+ }
231285}
232286
233287#[ cfg( test) ]
0 commit comments