rt haskell+riscv refine+crefine: prove schedContext_donate_ccorres #968
Job | Run time |
---|---|
27s | |
0s | |
0s | |
0s | |
0s | |
15m 53s | |
2h 17m 52s | |
2h 14m 54s | |
15m 11s | |
1m 26s | |
5h 5m 43s |
Job | Run time |
---|---|
27s | |
0s | |
0s | |
0s | |
0s | |
15m 53s | |
2h 17m 52s | |
2h 14m 54s | |
15m 11s | |
1m 26s | |
5h 5m 43s |