مختبر

Groups related test cases into a named suite.

Aliases: describe, suite

Syntax: مختبر <name> [modifiers] <block>

Category#

testing

Related#

• اختبر
• أكد

Examples#

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

Groups related test cases into a named suite.

# =============================================================================
# مختبر — Groups related test cases into a named suite.
# =============================================================================
#
# What this teaches:
#   • Test suite grouping — `مختبر` organizes related `اختبر` test cases
#     under a descriptive name
#   • Suites can be nested to create hierarchical test organization
#
# Common mistakes:
#   • Placing `اختبر` outside a `مختبر` suite, or forgetting a `tag` modifier on the test case.
#
# See also: اختبر, أكد
# =============================================================================

# مختبر / اختبر — declaration-only test suites
#
# مختبر "name" { اختبر "case" { أكد expr } … }   -- test group
# مختبر "nested" { مختبر "inner" { … } }         -- nested suite
#
# GRAMMAR:
#   probandumDecl :← 'مختبر' stringLit block
#   probaDecl     :← 'اختبر' stringLit block
#
# EXPECTED OUTPUT:
#   No stdout — أكد cases produce no اعرض output when run as tests.
#
# BACKEND: No بداية block — test-runner surface; exempla e2e whitelists as
# declaration-only (whitelist: مختبر/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
        }
    }
}