diff options
| author | Philip Chimento <philip.chimento@gmail.com> | 2019-12-14 13:43:53 -0800 |
|---|---|---|
| committer | Philip Chimento <philip.chimento@gmail.com> | 2019-12-16 23:12:20 -0500 |
| commit | 325525dba046d89187fce2b01c84796357eff29e (patch) | |
| tree | 544a6d493c167361acd4fa87e1d1133f05031348 /AUTHORS | |
| parent | 3c1250fc78f6fdb6957e523416a599a71d8e7f8d (diff) | |
assertion: Handle C++ try statements
We assume that in any catch blocks, program state has already been
modified since an exception has been thrown, so we only look for
assertion statements in the try block.
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions