Add symbolic execution #1853
samalws-tobci.yml
on: pull_request
Matrix: build
Matrix: test
Matrix: Try to get z3 installed
Waiting for pending jobs
Annotations
5 errors and 3 warnings
|
Test with solc 0.4.25 on windows-latest
Process completed with exit code 1.
|
|
Test with solc 0.5.7 on windows-latest
Process completed with exit code 1.
|
|
Test with solc 0.6.12 on windows-latest
Process completed with exit code 1.
|
|
CI
Error when evaluating 'runs-on' for job 'tryz3'. .github/workflows/ci.yml (Line: 19, Col: 14): Unexpected value ''
|
|
Test with solc 0.7.5 on windows-latest
Process completed with exit code 1.
|
|
Build Echidna on macos-latest
Failed to restore: Cache service responded with 429
|
|
Build Echidna on windows-latest
Failed to restore: Cache service responded with 429
|
|
Build Echidna on windows-latest
Failed to restore: Cache service responded with 429
|
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 |
|