package goblint

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

Module `DomainProperties.DomainTest`

Parameters

module D : Lattice.S

Signature

val arb : D.t QCheck.arbitrary

val make : 
  ?long_factor:??? ->
  ?domain_name:??? ->
  name:string ->
  ?if_assumptions_fail:??? ->
  ?count:??? ->
  ?max_gen:??? ->
  ?max_fail:??? ->
  ?small:??? ->
  ?retries:??? ->
  'a QCheck.arbitrary ->
  ('a -> bool) ->
  QCheck.Test.t

val (@=) : D.t -> D.t -> bool

package goblint

Module DomainProperties.DomainTest

Parameters

Signature

Module `DomainProperties.DomainTest`