Skip to content

Revision 2 updates #101

Revision 2 updates

Revision 2 updates #101

Annotations

2 warnings

verify (verifyCrossChainReceiver.conf --rule state_transition_to_deliver_iff_IBaseReceiverPortal_...

succeeded Apr 16, 2024 in 19m 19s