diff options
author | Christian Grothoff <christian@grothoff.org> | 2020-12-20 18:27:10 +0100 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2020-12-20 18:27:10 +0100 |
commit | d986555355de315121f1285c04ccc89082ba9755 (patch) | |
tree | ebfda7d16a20e77cab79f6944e18111374ec05db /src/benchmark | |
parent | 1fcfdf4c9e5835c81b8424febc854fb7f9d0829b (diff) |
log when we sign, with error if time does not match expectations
Diffstat (limited to 'src/benchmark')
0 files changed, 0 insertions, 0 deletions