Skip to content

Merge pull request #2098 from crytic/dev-echidna-ref-variable #4640

Merge pull request #2098 from crytic/dev-echidna-ref-variable

Merge pull request #2098 from crytic/dev-echidna-ref-variable #4640

Job Run time
44s
1m 28s
43s
43s
44s
47s
51s
50s
39s
36s
2m 56s
48s
51s
1m 31s
54s
49s
1m 42s
46s
40s
40s
50s
35s
37s
50s
41s
2m 21s
47s
42s
1m 43s
1m 16s
50s
1m 28s
48s
36s
46s
43s
49s
45s
49s
42s
2m 22s
36s
41s
1m 38s
56s
37s
1m 43s
48s
48s
35s
37s
41s
35s
44s
42s
2m 18s
44s
35s
1m 35s
1m 2s
2m 16s
1m 36s
2m 24s
1m 58s
1m 56s
1m 45s
1m 43s
1m 51s
1m 58s
4m 8s
2m 9s
1m 58s
2m 21s
2m 50s
2m 23s
2m 11s
1m 56s
2m 1s
2m 20s
1m 45s
2m 26s
1m 44s
4m 18s
1m 36s
2m 15s
2m 25s
1m 58s
1m 56s
1m 34s
1m 54s
1m 43s
1m 29s
1m 43s
1m 35s
1m 57s
3m 46s
1m 53s
2m 0s
2m 16s
2m 49s
1m 45s
2m 24s
1m 51s
1m 33s
2m 25s
1m 59s
2m 31s
1m 46s
4m 48s
1m 52s
1m 46s
2m 12s
2h 52m 15s