package p4spectec

  1. Overview
  2. Docs
P4-SpecTec: A mechanization toolchain for the P4 Programming Language

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (2)

Authors

  1. K
    KAIST PLRG

Maintainers

  1. 9
    99jaehyunlee@kaist.ac.kr

Sources

v0.1.2.tar.gz
md5=1a3bc0a385fe1ecf403c019f49aa6de6
sha512=5d20b5821f33e2a3a5419b208606f27c01511994c2b3b1e1cdf4c077056dfd0aa81682af0720e1060ee2bfb0341918fcc4c53159820205a2bc32b725e5c1a714

doc/p4spectec.backend_testgen_neg/Backend_testgen_neg/Gen/index.html

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