cozis

Use when writing, adapting, or debugging code that uses the Quakey deterministic simulation testing framework. Covers simulation harness setup, adapting application code to run inside Quakey, fault injection, invariant checking, and build configuration.