package Ġnet . cord a . flows Ċ Ċ import Ġcom . ph ol ser . junit . quick check . From Ċ import Ġcom . ph ol ser . junit . quick check . Property Ċ import Ġcom . ph ol ser . junit . quick check . generator . Generation Status Ċ import Ġcom . ph ol ser . junit . quick check . generator . Generator Ċ import Ġcom . ph ol ser . junit . quick check . random . Source Of Random ness Ċ import Ġcom . ph ol ser . junit . quick check . runner . JUnit Quick check Ċ import Ġnet . cord a . contracts . testing . Signed Transaction Generator Ċ import Ġnet . cord a . core . serialization . deserialize Ċ import Ġnet . cord a . core . serialization . serialize Ċ import Ġnet . cord a . flows . Broadcast Transaction Flow . Notify Tx Request Ċ import Ġorg . junit . runner . RunWith Ċ import Ġkotlin . test . assertEquals Ċ Ċ @ RunWith ( JUnit Quick check :: class ) Ċ class ĠBroadcast Transaction Flow Test Ġ{ ĊĊĠĠĠ Ġclass ĠNotify Tx Request Message Generator Ġ: ĠGenerator < Notify Tx Request >( Notify Tx Request :: class . java ) Ġ{ ĊĠĠĠĠĠĠĠ Ġoverride Ġfun Ġgenerate ( random : ĠSource Of Random ness , Ġstatus : ĠGeneration Status ): ĠNotify Tx Request Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġreturn ĠNotify Tx Request ( tx Ġ= ĠSigned Transaction Generator (). generate ( random , Ġstatus )) ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġ@ Property ĊĠĠĠ Ġfun Ġserial ise Deserial ise Of Notify Message Works (@ From ( Notify Tx Request Message Generator :: class ) Ġmessage : ĠNotify Tx Request ) Ġ{ ĊĠĠĠĠĠĠĠ Ġval Ġserialized Ġ= Ġmessage . serialize (). bytes ĊĠĠĠĠĠĠĠ Ġval Ġdeserialized Ġ= Ġserialized . deserialize < Notify Tx Request >() ĊĠĠĠĠĠĠĠ ĠassertEquals ( de serialized , Ġmessage ) ĊĠĠĠ Ġ} Ċ } Ċ