probandum

Groups related test cases into a named suite.

Aliases: describe, suite

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

Category

testing

Related

• proba
• adfirma

Examples

examples/corpus/probandum/probandum.fab (canonical · keyword)

Groups related test cases into a named suite.

# 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).

probandum "arithmetica" {
    proba "unum plus unum" {
        adfirma 1 + 1 ≡ 2
    }

    proba "multiplicatio" {
        adfirma 3 * 4 ≡ 12
    }

    probandum "implicata" {
        proba "comparatio" {
            fixum _ x ← 10
            adfirma x ≥ 10
        }
    }
}

Expected output: