symExec support for tuple type (hevm PR 522) (#1309) #2061
Job | Run time |
---|---|
22m 10s | |
30m 20s | |
31m 8s | |
3m 21s | |
3m 18s | |
4m 14s | |
4m 12s | |
4m 19s | |
4m 36s | |
4m 6s | |
4m 21s | |
1h 56m 5s |
Job | Run time |
---|---|
22m 10s | |
30m 20s | |
31m 8s | |
3m 21s | |
3m 18s | |
4m 14s | |
4m 12s | |
4m 19s | |
4m 36s | |
4m 6s | |
4m 21s | |
1h 56m 5s |