Skip to content

Revision 2 updates #103

Revision 2 updates

Revision 2 updates #103

Annotations

2 warnings

verify (verifyCrossChainReceiver.conf --rule zero_firstBridgedAt_iff_not_received_from_msg_sender)

succeeded Apr 16, 2024 in 1h 3m 16s