diff options
author | Craig Tiller <ctiller@google.com> | 2017-09-14 14:57:55 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-09-14 14:57:55 -0700 |
commit | c3aba91be94d336a27f945a644233bc244f22e2b (patch) | |
tree | 22ee3bb0a4fc2bf37c53cbfbc94b11b5c96c1e3d /src | |
parent | fd2ef56c815d0811e8e9c5406520dccc83df7a64 (diff) | |
parent | f7617bb8f6bd4b6993d6cf5bf70a14a5819f5fd6 (diff) |
Merge pull request #12542 from ctiller/rtstat
Really use measured CPU costs (with a small delta) for run_tests
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions