diff options
author | Paul Selkirk <paul@psgd.org> | 2019-04-10 15:42:09 -0400 |
---|---|---|
committer | Paul Selkirk <paul@psgd.org> | 2019-04-10 15:42:09 -0400 |
commit | 9e6edd6082cc8d501e2b062983ed58b01ef677d7 (patch) | |
tree | e4fb54c1720be863ae25fb985940bc190d3c74eb /tests/.gitignore | |
parent | 2d7368ec3c0a57c89d1bcf9a982ce8f730e747c4 (diff) |
Allow multiple iterations in verify, for better timing measurement.
Diffstat (limited to 'tests/.gitignore')
0 files changed, 0 insertions, 0 deletions