In some cases, the graphs will omit entire subsystems, and those are skipped completely during the analysis.
Instead of having to guess the right number of iterations for the graph builder, we need to implement a completeness check here.
This issues ties in with "smart coverage checks" #27 (coverage analysis is needed for both graph builder and analysis).
In some cases, the graphs will omit entire subsystems, and those are skipped completely during the analysis.
Instead of having to guess the right number of iterations for the graph builder, we need to implement a completeness check here.
This issues ties in with "smart coverage checks" #27 (coverage analysis is needed for both graph builder and analysis).