[jex] replace extend.random.PRNGImpl
with `extend.random.define_prn…
#2665
Job | Run time |
---|---|
4m 27s | |
4m 44s | |
3m 39s | |
12m 50s |
extend.random.PRNGImpl
with `extend.random.define_prn…
#2665
Job | Run time |
---|---|
4m 27s | |
4m 44s | |
3m 39s | |
12m 50s |