Module pact_ffi::verifier

source ·
Expand description

The verifier module provides a number of exported functions using C bindings for controlling the pact verification process. These can be used in any language that supports C bindings.

Modules§

  • Handle interface to creating a verifier
  • Exported verifier functions

Structs§

  • Contain the various attributes of an argument given to the verifier
  • Contain the lists of the two types of argument: options and flags

Functions§