package p4spectec

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

Module Backend_testgen_neg.GenSource

module DCov_single = Coverage.Dangling.Single
module DCov_multi = Coverage.Dangling.Multi
Sourcemodule F = Format
Sourceexception Timeout
Sourceval update_hit_new' : int -> Lang.Sl.iid -> int -> string -> int -> int -> Config.t -> Logger.t -> string -> Mutate.kind -> bool -> Domain.Lib.IIdSet.t -> unit
Sourceval update_hit_new : int -> Lang.Sl.iid -> int -> string -> int -> int -> Config.t -> Logger.t -> string -> Mutate.kind -> Domain.Lib.IIdSet.t -> unit
Sourceval update_close_miss_new' : int -> Lang.Sl.iid -> int -> string -> int -> int -> Config.t -> Logger.t -> string -> Domain.Lib.IIdSet.t -> unit
Sourceval update_close_miss_new : int -> Lang.Sl.iid -> int -> string -> int -> int -> Config.t -> Logger.t -> string -> Domain.Lib.IIdSet.t -> unit
Sourceval update_interesting : int -> Lang.Sl.iid -> int -> string -> int -> int -> int ref -> Config.t -> Logger.t -> string -> Mutate.kind -> Lang.Sl.value -> unit
Sourceval classify_mutation' : int -> Lang.Sl.iid -> int -> string -> int -> int -> int ref -> Config.t -> Logger.t -> string -> string -> string -> Mutate.kind -> Lang.Sl.value -> Lang.Sl.value -> Lang.Sl.value -> unit
Sourceval classify_mutation : int -> Lang.Sl.iid -> int -> string -> int -> int -> int ref -> Config.t -> Logger.t -> string -> string -> string -> Dep.Graph.t -> Mutate.kind -> Lang.Sl.value -> Lang.Sl.value -> unit
Sourceval fuzz_mutation : int -> Lang.Sl.iid -> int -> string -> int -> int ref -> Config.t -> Logger.t -> Query.t -> string -> string -> string -> Dep.Graph.t -> Lang.Sl.vid -> unit
Sourceval fuzz_derivations : int -> Lang.Sl.iid -> int -> int ref -> Config.t -> Logger.t -> Query.t -> string -> string -> Dep.Graph.t -> (Lang.Sl.vid * int) list -> unit
Sourceval fuzz_derivations_bounded : int -> Lang.Sl.iid -> int -> Config.t -> Logger.t -> Query.t -> string -> string -> Dep.Graph.t -> (Lang.Sl.vid * int) list -> unit
Sourceval fuzz_randoms : int -> Lang.Sl.iid -> int -> int ref -> Config.t -> Logger.t -> Query.t -> string -> string -> Dep.Graph.t -> Lang.Sl.vid list -> unit
Sourceval fuzz_randoms_bounded : int -> Lang.Sl.iid -> int -> Config.t -> Logger.t -> Query.t -> string -> string -> Dep.Graph.t -> Lang.Sl.vid list -> unit
Sourceval fuzz_seed_random : int -> Lang.Sl.iid -> int -> Config.t -> Logger.t -> Query.t -> string -> string -> Dep.Graph.t -> unit
Sourceval fuzz_seed_deriving : int -> Lang.Sl.iid -> int -> Config.t -> Logger.t -> Query.t -> string -> string -> Dep.Graph.t -> DCov_single.t -> unit
Sourceval fuzz_seed_hybrid : int -> Lang.Sl.iid -> int -> Config.t -> Logger.t -> Query.t -> string -> string -> Dep.Graph.t -> DCov_single.t -> unit
Sourceval fuzz_seed : int -> Lang.Sl.iid -> int -> Config.t -> Logger.t -> Query.t -> string -> string -> unit
Sourceval fuzz_seeds : int -> Lang.Sl.iid -> Config.t -> Logger.t -> Query.t -> string -> string list -> unit
Sourceval fuzz_dangling : int -> Lang.Sl.iid -> Config.t -> Logger.t -> Query.t -> string list -> unit
Sourceval fuzz_danglings : int -> Config.t -> Logger.t -> Query.t -> unit
Sourceval fuzz_loop : int -> Config.t -> Config.t
Sourceval fuzzer_init : Lang.Sl.spec -> string -> string list -> string -> string option -> int option -> Modes.logmode -> Modes.bootmode -> Modes.mutationmode -> Modes.covermode -> Config.t
Sourceval fuzzer : int -> Lang.Sl.spec -> string -> string list -> string -> string option -> int option -> Modes.logmode -> Modes.bootmode -> Modes.mutationmode -> Modes.covermode -> unit