Module `Backend_testgen_neg.Mutate`Source

module Type = Runtime.Type

module Value = Runtime.Value

Sourcemodule Mixfix = Domain.Mixfix

Sourcemodule Mixop = Domain.Mixop

Sourcetype kind =

| GenFromTyp
| MutateList
| MixopGroup

Sourceval string_of_kind : kind -> string

Sourceval (let*) : 'a option -> ('a -> 'b option) -> 'b option

Sourceval wrap_value : Lang.Il.typ' -> Lang.Il.value' -> Lang.Il.value

Source

val wrap_value_opt : 
  Lang.Il.typ' ->
  Lang.Il.value' option ->
  Lang.Il.value option

Source

val gen_from_typ : 
  int ->
  Runtime.Testgen_neg.Envs.TDEnv.t ->
  Lang.Il.value' list ->
  Lang.Il.typ ->
  Lang.Il.value option

Source

val gen_from_typ' : 
  int ->
  Runtime.Testgen_neg.Envs.TDEnv.t ->
  Lang.Il.value' list ->
  Lang.Il.typ ->
  Lang.Il.value option

Source

val gen_from_typs : 
  int ->
  Runtime.Testgen_neg.Envs.TDEnv.t ->
  Lang.Il.value' list ->
  Lang.Il.typ list ->
  Lang.Il.value list option

Source

val mutate_type_driven : 
  Runtime.Testgen_neg.Envs.TDEnv.t ->
  Lang.Il.value' list ->
  Lang.Il.value ->
  (kind * Lang.Il.value) option

Source

val mutate_mixop : 
  Runtime.Testgen_neg.Envs.MixopEnv.t ->
  Lang.Il.value ->
  (kind * Lang.Il.value) option

Sourceval shuffle_list' : Lang.Il.value -> Lang.Il.value

Sourceval shuffle_list : Lang.Il.value -> Lang.Il.value option

Sourceval duplicate_list' : Lang.Il.value -> Lang.Il.value

Sourceval duplicate_list : Lang.Il.value -> Lang.Il.value option

Sourceval shrink_list' : Lang.Il.value -> Lang.Il.value

Sourceval shrink_list : Lang.Il.value -> Lang.Il.value option

Sourceval mutate_list : Lang.Il.value -> (kind * Lang.Il.value) option

Source

val mutate_node : 
  Runtime.Testgen_neg.Envs.TDEnv.t ->
  Runtime.Testgen_neg.Envs.MixopEnv.t ->
  Lang.Il.value' list ->
  Lang.Il.value ->
  (kind * Lang.Il.value) option

Source

val mutate_walk : 
  Runtime.Testgen_neg.Envs.TDEnv.t ->
  Runtime.Testgen_neg.Envs.MixopEnv.t ->
  Lang.Il.value' list ->
  Lang.Il.value ->
  (kind * Lang.Il.value) option

Source

val find_parent : 
  Runtime.Testgen_neg.Dep.Graph.t ->
  Lang.Il.vid ->
  Lang.Il.vid option

Source

val mutate : 
  Runtime.Testgen_neg.Envs.TDEnv.t ->
  Runtime.Testgen_neg.Envs.MixopEnv.t ->
  Lang.Il.value' list ->
  Runtime.Testgen_neg.Dep.Graph.t ->
  Lang.Il.vid ->
  (kind * Lang.Il.value * Lang.Il.value) option

Source

val mutates : 
  int ->
  Runtime.Testgen_neg.Envs.TDEnv.t ->
  Runtime.Testgen_neg.Envs.MixopEnv.t ->
  Runtime.Testgen_neg.Dep.Graph.t ->
  Lang.Il.vid ->
  (kind * Lang.Il.value * Lang.Il.value) list

Install

dune-project
Dependency

Authors

Maintainers

Sources

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

Module `Backend_testgen_neg.Mutate`Source

package p4spectec

Install

dune-project Dependency

Authors

Maintainers

Sources

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

Module Backend_testgen_neg.MutateSource

dune-project
Dependency

Module `Backend_testgen_neg.Mutate`Source