[move-prover] Fix a bug in treatment of type reflection in spec funs #69866
Job | Run time |
---|---|
3s | |
3s | |
4m 16s | |
1m 34s | |
11s | |
0s | |
0s | |
0s | |
13m 11s | |
0s | |
0s | |
1m 37s | |
0s | |
7m 6s | |
12m 50s | |
11m 54s | |
14m 30s | |
1h 7m 15s |
Job | Run time |
---|---|
3s | |
3s | |
4m 16s | |
1m 34s | |
11s | |
0s | |
0s | |
0s | |
13m 11s | |
0s | |
0s | |
1m 37s | |
0s | |
7m 6s | |
12m 50s | |
11m 54s | |
14m 30s | |
1h 7m 15s |