Linscan (CFG): use DLL.t
instead of List.t
for ranges (#3169)
#25
Job | Run time |
---|---|
29s | |
29s |
DLL.t
instead of List.t
for ranges (#3169)
#25
Job | Run time |
---|---|
29s | |
29s |