proba

Defines a single test case.

Aliases: test, it

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

Category#

testing

Related#

• probandum
• adfirma
• omitte
• futurum

Examples#

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

Defines a single test case.

# =============================================================================
# proba — Defines a single test case.
# =============================================================================
#
# What this teaches:
#   • Individual test cases — `proba` declares one test with a descriptive name
#     and optional modifiers
#   • Tests live inside `probandum` suites and contain `adfirma` assertions
#
# Common mistakes:
#   • Using `adfirma` outside a `proba`/`probandum` test block — `adfirma` is deprecated in production code (WARN006).
#
# See also: probandum, adfirma, omitte, futurum
# =============================================================================

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

test "arithmetic passes" tag "math" {
    assert 1 + 1 ≡ 2
}