Future Planning

[andrewbutterfield]

Possible ideas for next steps

• [x] Progress report
• [x] Pattern matching - move to new python matching in 3.10+ ? See #15
• [ ] more complex eco-system - Promela libraries
• [ ] Test code coverage
• [x] add facility to do all models at once #17
• [ ] look at automatic test generation parts. See #16
• [ ] convert src/examples/model-checker/spin.pml to spin.yml, etc.... See #16
• [x] generate testcase file tc-* automatically See #18
• [x] make testbuilder program language agnostic #11