diff options
author | Alex Crichton <alex@alexcrichton.com> | 2020-08-06 19:02:42 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-08-06 17:02:42 -0700 |
commit | 0dc597e53e02fe05b0ddce20c42116403b2d0ebc (patch) | |
tree | 9203a6d33a23f288b0aa6ac8fb84a35ff4fc497c /projects/wasmtime | |
parent | c1b8f3bd3607b4482ab40c56ad2f6c30ec023599 (diff) | |
download | oss-fuzz-0dc597e53e02fe05b0ddce20c42116403b2d0ebc.tar.gz |
Add `handle_segv =1` to Wasmtime's options (#4266)
* Add `handle_segv =1` to Wasmtime's options
This is an attempt to handle #4264
Diffstat (limited to 'projects/wasmtime')
-rw-r--r-- | projects/wasmtime/default.options | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/projects/wasmtime/default.options b/projects/wasmtime/default.options index 1a5e42a6f..06422d9a3 100644 --- a/projects/wasmtime/default.options +++ b/projects/wasmtime/default.options @@ -1,3 +1,4 @@ [asan] allow_user_segv_handler=1 handle_sigill=0 +handle_segv=1 |