[slang][port] Fix bugs #1896
Job | Run time |
---|---|
8m 16s | |
15m 32s | |
36m 53s | |
9m 9s | |
14m 28s | |
9m 29s | |
7m 59s | |
8m 24s | |
4m 17s | |
12m 15s | |
9m 44s | |
8m 57s | |
2h 25m 23s |
Job | Run time |
---|---|
8m 16s | |
15m 32s | |
36m 53s | |
9m 9s | |
14m 28s | |
9m 29s | |
7m 59s | |
8m 24s | |
4m 17s | |
12m 15s | |
9m 44s | |
8m 57s | |
2h 25m 23s |