timeout

Sets a wall-clock timeout in seconds for a test modifier.

Syntax: timeout <number>

Category#

testing

Related#

• bench
• repeat

Examples#

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

Sets a wall-clock timeout in seconds for a test modifier.

# =============================================================================
# timeout — Sets a wall-clock timeout in seconds for a test modifier.
# =============================================================================
#
# What this teaches:
#   • Test timeout — `timeout` sets a wall-clock timeout (seconds) on `test`
#     execution; a case still running past the deadline fails
#   • Test modifiers — combining timing with other test annotations
#
# Common mistakes:
#   • confusing timeout (test timeout modifier) with tempus (time type)
#
# See also: bench, repeat
# =============================================================================



# timeout — timed test modifier
#
# GRAMMAR:
#   testModifier :← 'timeout' integer
#
# EXPECTED OUTPUT:
#   No main — declaration or test-runner surface only.
#
# BACKEND:
#   declaration-only test modifier (whitelist: timeout/temporis.fab).
#

test "timed case" timeout 5 {
    assert true
}