diff options
| author | Christian Grothoff <christian@grothoff.org> | 2017-10-06 21:27:58 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2017-10-06 21:27:58 +0200 |
| commit | dc883f8556f34b324dd7677ab21c3d2840fd38a9 (patch) | |
| tree | e74d3120e6dc7b31a18b7970a03d6ac7f0d25cf3 /src/benchmark | |
| parent | 8f08e4634f0e2cb61d288ecc061d75e78c27fd30 (diff) | |
add assertion to be more defensive against buffer overflow (cannot happen, but this better protects against future changes)
Diffstat (limited to 'src/benchmark')
0 files changed, 0 insertions, 0 deletions