Found counter Strategy while saving learning Strategy

[Szpilman2]

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 saveStrategy("Evaluation/file.json", minStra), UPPAAL displays a message stating "Found Counter Strategy," and the strategy saves successfully. I'm uncertain if this indicates a problem with my model or if it's a bug within the UPPAAL engine.

Your guidance on this matter would be greatly appreciated.

Best regards.

[Szpilman2]

also I have attached my model here:
fixedModel.zip

[thorulf4]

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

[Szpilman2]

Thank you so much.