package p4spectec

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

Module Backend_testgen_neg.ModesSource

Sourcetype logmode =
  1. | Silent
  2. | Verbose
Sourcetype bootmode =
  1. | Cold of string list * string
  2. | Warm of string
Sourcetype mutationmode =
  1. | Random
  2. | Derive
  3. | Hybrid
Sourcetype covermode =
  1. | Strict
  2. | Relaxed
Sourcetype t = {
  1. logmode : logmode;
  2. bootmode : bootmode;
  3. mutationmode : mutationmode;
  4. covermode : covermode;
}