Counterexample

public struct Counterexample : Codable, Equatable

Counterexample.

  • 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.

    Declaration

    Swift

    public var text: String

  • The timestamp for creation of the object.

    Declaration

    Swift

    public var created: Date?

  • The timestamp for the most recent update to the object.

    Declaration

    Swift

    public var updated: Date?

  • Initialize a Counterexample with member variables.

    Declaration

    Swift

    public init(
    text: String
)

    Parameters

    text

    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.

    Return Value

    An initialized Counterexample.