Goblint_lib.SimplifiedUnitAnalysis
Simplest possible analysis with unit domain (simplifiedUnit).
simplifiedUnit
module Spec : SimplifiedAnalysis.SimplifiedSpec