MiniZinc JavaScript
    Preparing search index...

    Interface CheckerMessage

    Event emitted when a solution checker has been run.

    interface CheckerMessage {
        messages: (
            ErrorMessage
            | WarningMessage
            | SolutionMessage
            | TraceMessage
        )[];
        output: Output;
        sections: string[];
        time?: number;
        type: "checker";
    }
    Index

    Properties

    Messages produced by the checker

    output: Output

    Mapping between output section name and contents

    Use the messages list to retrieve the output instead.

    sections: string[]

    The sections output in order

    Use the messages list to retrieve the output instead.

    time?: number

    Time in milliseconds (if run with output-time: true)

    type: "checker"

    Message type