package p4spectec

  1. Overview
  2. Docs
package p4spectec
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Backend_testgen_neg.RunnerSource

module DCov_single = Coverage.Dangling.Single
module DCov_multi = Coverage.Dangling.Multi
Sourceval run_program_with_dangling : (module Sim.SIM) -> Sim.spec -> string -> string list -> string -> Sim.program_result * DCov_single.t
Sourceval run_programs_with_dangling : (module Sim.SIM) -> Sim.spec -> string -> string list -> string list -> DCov_multi.t
Sourceval run_program_internal_with_dangling : (module Sim.SIM) -> Sim.spec -> string -> Lang.Sl.value -> Sim.rel_result * DCov_single.t
Sourceval run_program_with_dangling_and_vdg : derive:bool -> (module Sim.SIM) -> Sim.spec -> string -> string list -> string -> Sim.program_result * DCov_single.t * Dep.Graph.t