skill
★ 1
Testing the Edict Compiler
Provides guidance on implementing and executing vitest-based tests for the Edict compiler pipeline. It covers testing patterns for schema validation, type checking, and Z3 contract verification.
Sowiedu/Edict
edict-compiler
vitest
compiler-testing
unit-testing