Open Fretze33 opened 11 months ago
If there is no path from start to finish it would be nice to have an output instead of nontermination. It would be useful for simulation
If there is no path from start to finish it would be nice to have an output instead of nontermination. It would be useful for simulation