Skip to content
Certora

DLL loops to address(0) #94

Sign in to view logs

DLL loops to address(0)

DLL loops to address(0) #94

Triggered via pull request July 10, 2024 17:20
@QGarcheryQGarchery
synchronize #141
refactor/loop-dll
Status Failure
Total duration 5m 35s
Artifacts –

certora.yml

on: pull_request
Matrix: verify
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 2 warnings
verify (DllFifo)
Process completed with exit code 1.
verify (DllSimple)
Process completed with exit code 1.
verify (DllFifo)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, actions/setup-python@v4. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify (DllSimple)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, actions/setup-python@v4. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/