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.