formal verification

[move] essential formal verification tests on transfers #5

Sign in to view logs

Summary
Jobs
- formal
Run details
- Usage
- Workflow file

Triggered via pull request November 9, 2023 18:31

0o-de-lally

synchronize #94

0o-de-lally:prover-tests

Status Failure

Total duration 20m 38s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

formal.yaml

on: pull_request

Annotations

1 error and 12 notices

Process completed with exit code 127.

SSH: ssh [email protected]

or: ssh -i <path-to-private-SSH-key> [email protected]

SSH: ssh [email protected]

or: ssh -i <path-to-private-SSH-key> [email protected]

SSH: ssh [email protected]

or: ssh -i <path-to-private-SSH-key> [email protected]

SSH: ssh [email protected]

or: ssh -i <path-to-private-SSH-key> [email protected]

SSH: ssh [email protected]

or: ssh -i <path-to-private-SSH-key> [email protected]

SSH: ssh [email protected]

or: ssh -i <path-to-private-SSH-key> [email protected]