proba
Translation status: ภาษาไทย reader-locale proof. Code fences render through the th-TH pipeline; prose is canonical Latin.
Defines a single test case.
Aliases: test, it
Syntax: proba <name> [modifiers] <block>
Category#
testing
Related#
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
}