diff options
author | John MacFarlane <jgm@berkeley.edu> | 2017-04-03 10:01:09 +0200 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2017-04-03 10:01:09 +0200 |
commit | 5c2f3341e3c129aeb27f70fe6ca9ed0fea8f2383 (patch) | |
tree | d69404aa64ac077e5fcef48105edd780094b1480 /bench/samples/block-hr.md | |
parent | 118ebb338840d67005ee57ec39060d2b68f4ec7c (diff) |
Print message to stderr when we abort due to memory demands.
Closes #188.
@nwellnhof - could you have a look and let me know if you
think this is a bad idea or could be improved?
Diffstat (limited to 'bench/samples/block-hr.md')
0 files changed, 0 insertions, 0 deletions