Module Offsm_domain

module Offsm_domain: sig .. end
If true, the offsetmap domain stores information that can probably be re-synthesized from the value domain. Otherwise, we try to avoid such redundancies. Setting this variable to true is helpful to find unsoundnesses in the domain through testing, because many more expressions end up being handled.

module D: Abstract_domain.Leaf 
  with type value = Offsm_value.offsm_or_top
   and type location = Precise_locs.precise_location