cyberneticlibrary
← library

Test Edict compiler pipelines with vitest

edict-testingskillsetup L2★6
Sowiedu/Edict ↗
What it does

Write and run tests across all Edict compiler pipeline stages

Best for

Testing compiler features when you need coverage across validation, resolution, type checking, and WASM codegen.

Inputs
  • · Edict test case (vitest format)
  • · AST or error assertions
Outputs
  • · Test results with coverage report
  • · Failure diagnostics with fix suggestions
Requires
  • · vitest
  • · Z3 for contract tests
  • · WASM runtime
Preconditions

npm/bun installed; Edict repo cloned; Node 18+; Z3 available for contract testing

Failure modes

Z3 timeout on complex contracts; WASM runtime panic; test flakiness in concurrent runs; missing coverage in edge cases

Trust signals
  • · Vitest conventions per pipeline stage
  • · Z3 contract verification tests
  • · Coverage targets >80% per phase