Browse Source

vault backup: 2024-10-15 15:43:48

master
Julio Biason 16 hours ago
parent
commit
a40933d8b2
  1. 12
      Kanban Pages/HelyxVerify.md

12
Kanban Pages/HelyxVerify.md

@ -520,7 +520,7 @@ stateDiagram
Variation --> RunDir
verificationDict --> RunDir
verificationDict --> run
Allrun --> run
Actions --> run
RunDir --> run
run --> Output
run --> Execution
@ -528,4 +528,12 @@ stateDiagram
verificationDict --> Validate
Validate --> Report
Report --> [*]
```
```
`find` could be a static method of Example, which yields the results (the problem is that this should be an iterator, and I'm bad at doing iterators over filesystems).
Whatever becomes of `Action`, `RunDir.run` needs a trait for it, so we can replace with something else in the future.
`Output` must define the type of messages it receives.
Missing: Who will do the reduction (maybe different crate?).
Loading…
Cancel
Save