Jack0Chan
Results
5
comments of
Jack0Chan
通常来说，Location ID是由UPPAAL自动设置的，为int格式，在UPPAAL的ide中没有找到能够修改Location id的地方。 1. 请问什么情况下会手动指定location id呢？您是否在更新Location的Name？ 2. 如果确实需要location id为字符串，能否麻烦提供一个测试用例，方便我们更新？
Thank you for your support! This bug has been fixed in GitHub. PyPi will be updated to 1.2.2 soon, and I will notify you here.
will be fixed in 1.2.1