Show all events from all the transactions when a property or assertion fails #2492
gustavo-griecoAnnotations
4 errors
|
Test with solc 0.8.10 on ubuntu-latest
Process completed with exit code 1.
|
|
Test with solc 0.8.25 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
|
20.6 MB |
sha256:d9f02d4aaed0fde0843f7615e80cd68a3983d9e2e0107c51e184b9632da3194b
|
|
|
echidna-Windows
|
20.5 MB |
sha256:1f957b8a78af435ea748b6fd390e131792d23502383251a1b19a1f262eb00010
|
|
|
echidna-macOS
|
9.52 MB |
sha256:aa18df3973b20e086a11ac136ad8f200ea19089dd2521611b2b9adaebdfa5707
|
|
|
echidna-testsuite-Linux
|
28.2 MB |
sha256:271c187246357fbcb36c62cc2dff812bf88336e779a9331131defe370859a040
|
|
|
echidna-testsuite-Windows
|
23.4 MB |
sha256:dcad5f797beed143176afc53d722b51e28dea57468817843cf5a5cf5688fdea7
|
|