Skip to content

v0.4.0: Add the "generate-fsm" feature to enhance coverage for FSMs - #6

Merged
samuel21119 merged 18 commits into
mainfrom
feat/fsm-coverage
Mar 2, 2026
Merged

samuel21119 merged 18 commits into
mainfrom
feat/fsm-coverage

Conversation

@samuel21119

Copy link
Copy Markdown
Collaborator

No description provided.

…cuit coverage

- Implemented `fsm_analysis` module for representing and manipulating finite state machines (FSMs).
- Developed functions to load and save FSM analysis from/to JSON files.
- Created a DFS-based algorithm to generate test sequences covering all transitions in state machines.
@samuel21119
samuel21119 merged commit efbbaa7 into main Mar 2, 2026
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant