move framework tests

[move] essential formal verification tests on transfers #298

Sign in to view logs

Triggered via pull request November 9, 2023 23:08

0o-de-lally

synchronize #94

0o-de-lally:prover-tests

Status Success

Total duration 33s

Artifacts –

move.yaml

on: pull_request

functional-tests