Rename SE050_RAND_ERROR
to more generic SE050_ERROR
#233
Job | Run time |
---|---|
1m 19s | |
1m 28s | |
1m 25s | |
1m 36s | |
1m 22s | |
7m 10s |
SE050_RAND_ERROR
to more generic SE050_ERROR
#233
Job | Run time |
---|---|
1m 19s | |
1m 28s | |
1m 25s | |
1m 36s | |
1m 22s | |
7m 10s |