14.5.50  Unit_Test

The compiler Unit_Test api defines access to the unit testing framework invoked by make check.

The Unit_Test api is implemented by the unit_test package.

The Unit_Test api source code is in src/lib/src/unit-test.api.

The above information is manually maintained and may contain errors.

api {
    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;};