Goblint_lib.MHPAnalysis
May-happen-in-parallel (MHP) analysis for memory accesses (mhp).
mhp
module Spec : sig ... end