PyUPPAAL
PyUPPAAL copied to clipboard
Bug for find_all_patterns with parameter "focused_actions"
umodel.find_all_patterns() can not correctly return all possible patterns if focused_actions is set.
We have fixed this bug, and will update it in the next version.