Module `Goblint_lib.ObserverAutomaton`

Finite automaton for matching an infeasible ARG path.

module type S = sig ... end

module type KMPArg = sig ... end

module KMP (KMPArg : KMPArg) : S with type q = int and type t = KMPArg.t