This repository was archived by the owner on Apr 5, 2024. It is now read-only.
This repository was archived by the owner on Apr 5, 2024. It is now read-only.
Write specification for Capture Analysis #53
Open
Description
Over the last year of iterations for edge cases, the capture analysis has gotten pretty complicated, and code even more so.
It would be useful to create a formal specification for the analysis and validate all the cases with the current implementation. It might not be the worst idea to refactor the code to mimic the formal analysis more closely.
Metadata
Metadata
Assignees
Labels
No labels