perf: pick weighted choices with one bounded draw instead of Rational arithmetic #2894
Triggered via pull request
September 4, 2026 21:04
elopez
Status
Failure
Total duration
1h 10m 42s
Artifacts
5
Annotations
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.10 on windows-latest
Process completed with exit code 1.
|
|
Test with solc 0.8.25 on windows-latest
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
echidna-Linux
|
21.3 MB |
sha256:358aad07702ba6f0b43e950c221440d5a6780305e3186f723586ffbb7a95aa1f
|
|
|
echidna-Windows
|
21.2 MB |
sha256:b5f37ab152185441536401d09e707298d2e4daf3f6b96be22af04728ac30f5f8
|
|
|
echidna-macOS
|
10 MB |
sha256:89e47f2eaf0d43c25843fe23baa382de7f1c3222f2a9f20a63cd2b5534424ef2
|
|
|
echidna-testsuite-Linux
|
29.3 MB |
sha256:1fccd5786b2b31bba23123206014186f811d54483fc1dd624a775d257b3232e6
|
|
|
echidna-testsuite-Windows
|
24.3 MB |
sha256:923777ec1244c17f575dc51325722d5ee0dbe1377d12731c5eed08c9e0bf249d
|
|