Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface CreateCounterexampleParams

Parameters for the createCounterexample operation.

Hierarchy

  • CreateCounterexampleParams

Index

Properties

Properties

Optional headers

headers: OutgoingHttpHeaders

Optional includeAudit

includeAudit: boolean

Whether to include the audit properties (created and updated timestamps) in the response.

text

text: string

The text of a user input marked as irrelevant input. This string must conform to the following restrictions:

  • It cannot contain carriage return, newline, or tab characters.
  • It cannot consist of only whitespace characters.

workspaceId

workspaceId: string

Unique identifier of the workspace.

Generated using TypeDoc