Skip to main content

Transactional operators

abort

abort
abort
  • of type bool

Whether the transaction aborts. This function is only useful when expressing propositions that do not assume transaction success. Propositions defined via property implicitly assume transaction success. We will be adding a new mode in which to use this feature in the future -- please let us know if you need this functionality.

Supported in properties only.

success

success
success
  • of type bool

Whether the transaction succeeds. This function is only useful when expressing propositions that do not assume transaction success. Propositions defined via property implicitly assume transaction success. We will be adding a new mode in which to use this feature in the future -- please let us know if you need this functionality.

Supported in properties only.

governance-passes

governance-passes
governance-passes
  • of type bool

Whether the governance predicate passes. For keyset-based governance, this is the same as something like (authorized-by 'governance-ks-name). Pact's property checking system currently does not analyze the body of a capability when it is used for governance due to challenges around capabilities making DB modifications -- the system currently assumes that a capability-based governance predicate is equally capable of succeeding or failing. This feature allows describing the scenarios where the predicate passes or fails.

Supported in properties only.

result

result
result
  • of type r
  • where r is any type

The return value of the function under test

Supported in properties only.


Receive important developer updates