Closed dianakolusheva closed 3 years ago
This PR extends the ModelChecker to optionally ignore the direct connection between source and target and search for a path with intermediate node.
This PR extends the ModelChecker to optionally ignore the direct connection between source and target and search for a path with intermediate node.