Skip to content

fix: replace assertion with output_scc_info call in main function - #24

Merged
vhavlena merged 2 commits into
develfrom
fix-types-param
May 21, 2026
Merged

fix: replace assertion with output_scc_info call in main function#24
vhavlena merged 2 commits into
develfrom
fix-types-param

Conversation

@vhavlena

@vhavlena vhavlena commented May 21, 2026

Copy link
Copy Markdown
Collaborator

This pull request enhances the output_scc_info function in src/main.cpp to provide more detailed information about strongly connected component (SCC) categories, specifically by adding support for "IADACs" (initial almost deterministic accepting components). It also updates the main control flow to use this improved SCC reporting for the "type" operation.

vhavlena and others added 2 commits May 21, 2026 16:31
Co-authored-by: Copilot <copilot@github.com>
Co-authored-by: Copilot <copilot@github.com>
@vhavlena vhavlena linked an issue May 21, 2026 that may be closed by this pull request
@vhavlena
vhavlena merged commit f916ecc into devel May 21, 2026
2 checks passed
@vhavlena
vhavlena deleted the fix-types-param branch May 25, 2026 17:04
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.

No output when using --type

1 participant