Fix: Constant initialization in the Dafny-to-Rust code generator #19265
Job | Run time |
---|---|
6s | |
3m 28s | |
1s | |
1s | |
12m 1s | |
15m 44s | |
18m 38s | |
23m 33s | |
21m 59s | |
22m 56s | |
21m 36s | |
28m 39s | |
1m 8s | |
2h 49m 50s |
Job | Run time |
---|---|
6s | |
3m 28s | |
1s | |
1s | |
12m 1s | |
15m 44s | |
18m 38s | |
23m 33s | |
21m 59s | |
22m 56s | |
21m 36s | |
28m 39s | |
1m 8s | |
2h 49m 50s |