Skip to content

TODO.md

Latest commit

 

History

History
6 lines (5 loc) · 500 Bytes

TODO.md

File metadata and controls

6 lines (5 loc) · 500 Bytes
Raw

TODO.md

  • Inspect relevant existing modules (lib.rs, suite_runner.rs, reproducer.rs, run_control.rs, existing tests).
  • Implement contracts/crashlab-core/src/runner.rs with ContractRunner trait and RunnerError error taxonomy, plus an example MockRunner and unit tests.
  • Export the new module from contracts/crashlab-core/src/lib.rs via pub mod runner;.
  • Bridge simulation module to ContractRunner (via runner-like closure injection) and add mock/bridge test.