fix: Frame and termination checks are now subject to by-proofs of method calls #18944
Job | Run time |
---|---|
6s | |
3m 38s | |
1s | |
1s | |
23m 29s | |
22m 54s | |
19m 50s | |
24m 38s | |
20m 49s | |
12m 3s | |
17m 46s | |
16m 46s | |
0s | |
2h 42m 1s |
Job | Run time |
---|---|
6s | |
3m 38s | |
1s | |
1s | |
23m 29s | |
22m 54s | |
19m 50s | |
24m 38s | |
20m 49s | |
12m 3s | |
17m 46s | |
16m 46s | |
0s | |
2h 42m 1s |