Skip to content

Add symbolic execution #1849

Add symbolic execution

Add symbolic execution #1849

Triggered via pull request April 9, 2024 17:59
@samalws-tobsamalws-tob
synchronize #1216
symexec4
Status Failure
Total duration 13m 54s
Artifacts 5

ci.yml

on: pull_request
Matrix: build
Matrix: test

Annotations

8 errors
Test with solc 0.6.12 on windows-latest
The process 'C:\Windows\system32\cmd.exe' failed with exit code 1
Test with solc 0.7.5 on windows-latest
The process 'C:\Windows\system32\cmd.exe' failed with exit code 1
Test with solc 0.5.7 on windows-latest
The process 'C:\Windows\system32\cmd.exe' failed with exit code 1
Test with solc 0.4.25 on windows-latest
The process 'C:\Windows\system32\cmd.exe' failed with exit code 1
Test with solc 0.6.12 on ubuntu-latest
Process completed with exit code 1.
Test with solc 0.5.7 on ubuntu-latest
Process completed with exit code 1.
Test with solc 0.4.25 on ubuntu-latest
Process completed with exit code 1.
Test with solc 0.7.5 on ubuntu-latest
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size
echidna-Linux Expired
17.7 MB
echidna-Windows Expired
17.5 MB
echidna-macOS Expired
8.6 MB
echidna-testsuite-Linux Expired
24.4 MB
echidna-testsuite-Windows Expired
21.2 MB