Device-driver codegen — verification

Test cases verifying the device-driver codegen toolchain. Each test directive :verifies: one or more requirements from Device-driver codegen (or building blocks from Device-driver codegen — architecture (arc42)).

The toolchain is build-time only — there are no cyclic-runtime integration tests beyond what Connector framework — verification already covers for EtherCAT reference connector (FEAT_0041). The verification surface here is therefore heavier on snapshot / golden-file / property tests than on multi-process integration.

The test cases are grouped by area (see the toctree): the seven crate-layer areas mirroring the requirement feats — parser, codegen / IR, ethercrab backend snapshots, runtime trait surface, build helper, CLI, and EEPROM verifier — and a final cross-cutting page carrying the reproducibility and traceability checks.

• Parser unit tests
• Codegen / IR tests
• ethercrab backend snapshot tests
• Runtime trait surface tests
• Build helper tests
• CLI tests
• EEPROM verifier tests
• Cross-cutting tests
  • Cross-cutting reproducibility tests
  • Cross-cutting traceability

On this page

• Device-driver codegen — verification