probandum

Groups related test cases into a named suite.

Aliases: describe, suite

Syntax: probandum <name> [modifiers] <block>

Category#

testing

Related#

• proba
• adfirma

Examples#

radix/corpus/probandum/probandum.fab (canonical · keyword)#

Groups related test cases into a named suite.

# =============================================================================
# probandum — Groups related test cases into a named suite.
# =============================================================================
#
# What this teaches:
#   • Test suite grouping — `probandum` organizes related `proba` test cases
#     under a descriptive name
#   • Suites can be nested to create hierarchical test organization
#
# Common mistakes:
#   • Placing `proba` outside a `probandum` suite, or forgetting a `tag` modifier on the test case.
#
# See also: proba, adfirma
# =============================================================================

# probandum / proba — declaration-only test suites
#
# probandum "name" { proba "case" { adfirma expr } … }   -- test group
# probandum "nested" { probandum "inner" { … } }         -- nested suite
#
# GRAMMAR:
#   probandumDecl :← 'probandum' stringLit block
#   probaDecl     :← 'proba' stringLit block
#
# EXPECTED OUTPUT:
#   No stdout — adfirma cases produce no nota output when run as tests.
#
# BACKEND: No incipit block — test-runner surface; exempla e2e whitelists as
# declaration-only (whitelist: probandum/probandum.fab).

describe "arithmetica" {
    test "unum plus unum" {
        assert 1 + 1 ≡ 2
    }

    test "multiplicatio" {
        assert 3 * 4 ≡ 12
    }

    describe "implicata" {
        test "comparatio" {
            const _ x ← 10
            assert x ≥ 10
        }
    }
}