15.3.450  src/lib/src/unit-test.api

## unit-test.api

# Compiled by:
#     src/lib/std/standard.lib


# Unit testing support.

# This api is implemented in:
#
#     src/lib/src/unit-test.pkg
#
api Unit_Test {

    # Register result of one test:
    #
    assert:                Bool -> Void;
    assert':               Bool -> Void;

    summarize_unit_tests:  String -> Void;
    summarize_all_tests:   Void -> Void;

    unit_tests_tried:      Void -> Int;
    unit_flaws_found:      Void -> Int;

    total_tests_tried:     Void -> Int;
    total_flaws_found:     Void -> Int;
};


## COPYRIGHT (c) 2008 Jeffrey S Prothero
## Subsequent changes by Jeff Prothero Copyright (c) 2010-2015,
## released per terms of SMLNJ-COPYRIGHT.