Validator (goblint.Goblint_lib.YamlWitness.Validator)

Parameters

module R : ResultQuery.SpecSysSol2

module Locator : sig ... end

module LvarS = Locator.ES

module WitnessInvariant : sig ... end

module InvariantParser = WitnessUtil.InvariantParser

module TransitionInvariantParser : sig ... end

module VR = ValidationResult

module FundecH : sig ... end

val validate : unit -> (Svcomp.Result.t, string) Stdlib.result