-
Dear UPPAAL Team, Hello, I encountered an issue while attempting to save my learning strategy in a file format. When I initiate the save process using Your guidance on this matter would be greatly appreciated. Best regards. |
Beta Was this translation helpful? Give feedback.
Replies: 2 comments 1 reply
-
also I have attached my model here: |
Beta Was this translation helpful? Give feedback.
-
Hello, it seems our confirmation pop up is bugged. Atleast when i'm testing it I get the same "Found Counter Strategy" message and it still works as expected. So I think you can continue working on your model without any issues. However loading strategies is currently broken in the beta 5 releases so I recommend working with Uppaal 5.0 for now |
Beta Was this translation helpful? Give feedback.
Hello, it seems our confirmation pop up is bugged. Atleast when i'm testing it I get the same "Found Counter Strategy" message and it still works as expected. So I think you can continue working on your model without any issues.
I'll create a bug report on this so we can get a better confirmation message! #247
However loading strategies is currently broken in the beta 5 releases so I recommend working with Uppaal 5.0 for now