Module test 

Test framework support for Seq

Provides assertion primitives and test context management for the seqc test runner. Assertions collect failures instead of panicking, allowing all tests to run and report comprehensive results.

These functions are exported with C ABI for LLVM codegen to call.

Structs

TestContext

Test context that tracks assertion results

TestFailure

A single test failure with context

Enums

FailureKind

Discriminator for how a failure should be rendered. The string-eq path needs a multi-line block (escaped values, byte counts, first differing offset); other failures keep the historical single-line expected E, got A shape.

Functions

format_failure_detail

Render a single failure as one or more indented detail lines, terminated by a final newline. The result is always whitespace-prefixed on every line so the runner’s collect_failure_block attaches it to the preceding ... FAILED header.

patch_seq_test_assert^⚠

Assert that a value is truthy (non-zero)

patch_seq_test_assert_eq^⚠

Assert that two integers are equal

patch_seq_test_assert_eq_str^⚠

Assert that two strings are equal

patch_seq_test_assert_not^⚠

Assert that a value is falsy (zero)

patch_seq_test_fail^⚠

Explicitly fail a test with a message

patch_seq_test_fail_count^⚠

Get the number of failed assertions

patch_seq_test_finish^⚠

Finalize test and print results

patch_seq_test_has_failures^⚠

Check if any assertions failed

patch_seq_test_init^⚠

Initialize test context for a new test

patch_seq_test_pass_count^⚠

Get the number of passed assertions

patch_seq_test_set_line^⚠

Announce the source line of the next test.assert* call.

patch_seq_test_set_name^⚠

Set the current test’s display name without touching any other state.