PyUPPAAL icon indicating copy to clipboard operation
PyUPPAAL copied to clipboard

Bug for find_all_patterns with parameter "focused_actions"

Open Jack0Chan opened this issue 1 year ago • 0 comments

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.

Jack0Chan avatar Jun 30 '24 07:06 Jack0Chan