Outcome Logger: Logging Constraints Outcomes

Note

This document explains how to use outcome logger event handler.

Synopsis

outcome-logger: null

Outcome logger is one of the simplest event handlers, used to summarise the outcome of all constraints.

Options

`prefix`

Prefix to the logging message text. Example:
Prefix example
prefix: "Hello"

Example

Setup example

events:
  # Capture all events
  $|$|$|$:

    handlers:
      outcome-logger

    outcome-logger:
      prefix: "My constraints"