Goblint_lib.ActiveLongjmp
Analysis of active longjmp targets (activeLongjmp).
longjmp
activeLongjmp
module Spec : sig ... end