proba

Defines a single test case.

Aliases: test, it

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

Category

testing

Related

• probandum
• adfirma
• omitte
• futurum

Examples

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

Defines a single test case.

# proba — single test case
#
# GRAMMAR:
#   testDecl :← 'proba' stringLit block
#
# EXPECTED OUTPUT:
#   No incipit — declaration or test-runner surface only.
#
# BACKEND:
#   declaration-only test case (whitelist: proba/proba.fab). Cross-ref: probandum/probandum.fab.
#

proba "arithmetic passes" tag "math" {
    adfirma 1 + 1 ≡ 2
}

Expected output: