cxxrtl: improve robustness of cxxrtl::time
.
#2678
Job | Run time |
---|---|
10m 33s | |
10m 26s | |
10m 27s | |
10m 0s | |
23m 58s | |
9m 36s | |
9m 26s | |
10m 9s | |
10m 6s | |
7m 50s | |
1h 52m 31s |
cxxrtl::time
.
#2678
Job | Run time |
---|---|
10m 33s | |
10m 26s | |
10m 27s | |
10m 0s | |
23m 58s | |
9m 36s | |
9m 26s | |
10m 9s | |
10m 6s | |
7m 50s | |
1h 52m 31s |