Skip to content
CI

Symbolic execution fixes to make sure no counter example is missed #2427

Sign in to view logs

Symbolic execution fixes to make sure no counter example is missed

Symbolic execution fixes to make sure no counter example is missed #2427

Triggered via pull request September 16, 2025 00:20
@gustavo-griecogustavo-grieco
synchronize #1441
gustavo-grieco:dev-sym-exec-fixes
Status Success
Total duration 14m 33s
Artifacts 5

ci.yml

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

Annotations

3 notices
Build Echidna on windows-latest
The windows-latest label will migrate from Windows Server 2022 to Windows Server 2025 beginning September 2, 2025. For more information see https://github.com/actions/runner-images/issues/12677
Test with solc 0.8.10 on windows-latest
The windows-latest label will migrate from Windows Server 2022 to Windows Server 2025 beginning September 2, 2025. For more information see https://github.com/actions/runner-images/issues/12677
Test with solc 0.8.25 on windows-latest
The windows-latest label will migrate from Windows Server 2022 to Windows Server 2025 beginning September 2, 2025. For more information see https://github.com/actions/runner-images/issues/12677

Artifacts

Produced during runtime
Name Size Digest
echidna-Linux Expired
20.4 MB
sha256:aa9e6f75a45d85451376bd5974c11a432bcf3e967b1ec9bd209fb75ed1c4597f
echidna-Windows Expired
20.3 MB
sha256:a2e90202dbc7fc87faafa10c373f8272d0787dc4ed82162378002f47389a4dfe
echidna-macOS Expired
9.34 MB
sha256:659e88534adcd12028e710f05ea6501402e0a81a7d187c816655e5536b275830
echidna-testsuite-Linux Expired
27.9 MB
sha256:d12a4926b3135ce3ce97d44ecb566ac3a162978284d24b16afbe01dbf515754b
echidna-testsuite-Windows Expired
23.2 MB
sha256:f1f9b86d9db20518b338f854364e277381be504a6442f18ff99945ef6c66c81d