Upgrade hevm to upstream main
#2056
elopezAnnotations
8 errors
|
Test with solc 0.4.25 on ubuntu-latest
Process completed with exit code 1.
|
|
Test with solc 0.6.12 on ubuntu-latest
Process completed with exit code 1.
|
|
Test with solc 0.7.5 on ubuntu-latest
Process completed with exit code 1.
|
|
Test with solc 0.4.25 on windows-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.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.
|
|
Test with solc 0.7.5 on windows-latest
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
echidna-Linux
|
18.3 MB |
|
|
echidna-Windows
|
19.1 MB |
|
|
echidna-macOS
|
8.95 MB |
|
|
echidna-testsuite-Linux
|
23.6 MB |
|
|
echidna-testsuite-Windows
|
21.8 MB |
|