Merge branch 'master' of github.com:squaresLab/BugZoo

squaresLab · Apr 4, 2018 · 0627aef · 0627aef
2 parents 565bdc3 + fd4380e
commit 0627aef
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/bugzoo/mgr/coverage.py b/bugzoo/mgr/coverage.py
@@ -30,6 +30,11 @@ class CoverageManager(object):
         "  sigaction(SIGTERM, &new_action, NULL);\n"
         "  sigaction(SIGINT, &new_action, NULL);\n"
         "  sigaction(SIGKILL, &new_action, NULL);\n"
+        "  sigaction(SIGSEGV, &new_action, NULL);\n"
+        "  sigaction(SIGFPE, &new_action, NULL);\n"
+        "  sigaction(SIGBUS, &new_action, NULL);\n"
+        "  sigaction(SIGILL, &new_action, NULL);\n"
+        "  sigaction(SIGABRT, &new_action, NULL);\n"
         "}\n"
         "// BUGZOO :: INSTRUMENTATION :: END\n"
     )