Module `Goblint_lib.SignsSol`

Simple intraprocedural integer signs analysis template (signs).

see https://goblint.readthedocs.io/en/latest/developer-guide/firstanalysis/

module Signs : sig ... end

module SL : sig ... end

module Spec : Analyses.MCPSpec