Skip to content
CI

Reworked symbolic execution #7

Sign in to view logs

Reworked symbolic execution

Reworked symbolic execution #7

Triggered via pull request May 1, 2025 06:27
@gustavo-griecogustavo-grieco
opened #10
fixed-sym-exec
Status Failure
Total duration 40m 43s
Artifacts 5

ci.yml

on: pull_request
Matrix: build
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

4 errors
Test with solc 0.8.25 on ubuntu-latest
Process completed with exit code 1.
Test with solc 0.8.10 on ubuntu-latest
Process completed with exit code 1.
Test with solc 0.8.25 on windows-latest
Process completed with exit code 1.
Test with solc 0.8.10 on windows-latest
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size Digest
echidna-Linux Expired
18.4 MB
sha256:8f59bd94cb97c9035784d1fc5cd08fa81958ed3b9407e4fb5eb69db26cc4ea5d
echidna-Windows Expired
19.2 MB
sha256:4173f42374c9472a1be2b396bafbfbdb97685277dd283ff479b2c7c271254ec6
echidna-macOS Expired
9.01 MB
sha256:cb250ff294535e2bbc974515061efbc3d89ec26f5c97faf37a56479b987815c3
echidna-testsuite-Linux Expired
23.7 MB
sha256:977d360e523745e8e0727a5cca791962afd3a2126b024a5dd37c5c9dfd7e003e
echidna-testsuite-Windows Expired
21.9 MB
sha256:6081c98af4db7e56d67886e86b475ce1d74260594a43eef7fc6a85f055b19625