Skip to content

Revision 2 updates

Revision 2 updates #97

Annotations

2 warnings

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

succeeded Mar 8, 2024 in 17m 6s