Module B0_expect.OutcomeSource

Expectation outcomes.

Represents the result of an expectation test.

Outcomes

Sourcetype status = [
  1. | `Corrected
    (*

    The outcome has changed but has been corrected.

    *)
  2. | `Expected
    (*

    The outcome is expected.

    *)
  3. | `New
    (*

    The expecation test is new.

    *)
  4. | `Unexpected
    (*

    The outcome is unexpected.

    *)
  5. | `Unknown
    (*

    The outcome is unknown.

    *)
]

The type for outcome statuses.

Sourcetype test =
  1. | File of {
    1. file : B0_std.Fpath.t;
    2. diff : bool;
    }
    (*

    The type for kinds of tests.

    *)
Sourcetype t

The type for test outcomes.

Sourceval status : t -> status

status o is the status of o.

Sourceval test : t -> test

test o is the test of o.