Macro turso_assert_reachable 

turso_assert_reachable!() { /* proc-macro */ }

Asserts that a code path is reached at least once during Antithesis testing. No-op in non-antithesis builds.

Parameters

• "message" — human-readable description of the code path (required).
• { "key": value, ... } (optional) — structured details for Antithesis.

Usage

turso_assert_reachable!("opcode: Init");
turso_assert_reachable!("checkpoint", { "frames": frame_count });

Examples

turso_assert_reachable!("opcode: Add");
turso_assert_reachable!("checkpoint");

When to use

Place at code paths that should be exercised by the fuzzer.