Skip to content

Revision 2 updates #102

Revision 2 updates

Revision 2 updates #102

Annotations

2 warnings

verify (verifyCrossChainReceiver.conf --rule no_deliverEnvelope_after_receiveCrossChainMessage)

succeeded Apr 16, 2024 in 1h 22m 59s