Validator (p.goblint.2.3.0.doc.goblint.lib.Goblint

Parameters

module R : ResultQuery.SpecSysSol2

module Locator : sig ... end

module LvarS = Locator.ES

module WitnessInvariant : sig ... end

module InvariantParser = WitnessUtil.InvariantParser

module VR = ValidationResult

val loc_of_location : YamlWitnessType.Location.t -> GoblintCil.Cil.location

val validate : unit -> unit