forked from xiaoweih/DLV
-
Notifications
You must be signed in to change notification settings - Fork 17
Open
Description
Hi all and @matthewwicker @minwu-cs
I get the following error when I try to run DLV.py
File "C:/Users/RAR7ABT/pj-val-ml/pjval_ml/Verification/DLV/DLV.py", line 52, in main succ = handleOne(model,dc,whichIndex) File "C:/Users/RAR7ABT/pj-val-ml/pjval_ml/Verification/DLV/DLV.py", line 242, in handleOne (leafNode,availableActions) = st.treeTraversal(st.rootIndex) File "MCTS\mcts_twoPlayer.py", line 242, in treeTraversal availableActions = copyreg.pickle(cv2.KeyPoint().__class__, _pickle_keypoints(self.actions)) File "MCTS\mcts_twoPlayer.py", line 236, in _pickle_keypoints return cv2.KeyPoint, (*self.pt, self.size, self.angle, AttributeError: 'dict' object has no attribute 'pt'
Any help would be appreciated. Thank you!
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
No labels