Module Goblint_lib.GobExn

Exception utilities.

val catch_all_filter : exn -> bool

Filter for catching and swallowing all exceptions. This avoids swallowing some very important exceptions that shouldn't be caught to begin with.