找不到可能导致 "caused by an out-of-range assignment or out-of-range array lookup." 错误的原因
Can't find what could cause the "caused by an out-of-range assignment or out-of-range array lookup." error
当我尝试检查我的系统是否存在死锁时出现此错误：
The verification was aborted due to an error. Most likely, this is
caused by an out-of-range assignment or out-of-range array lookup.
我明白这个错误是什么意思（感谢 https://www.it.uu.se/research/group/darts/uppaal/help.php?file=System_Descriptions/Expressions.shtml ），但我真的找不到任何可能发生这个问题的情况，也无法通过玩模拟器。
我能想到的唯一可能导致此问题的是我的数组之一，但从我所看到的情况来看，假设我从不越界似乎是安全的。
有没有办法找到任何线索来帮助我确定我的问题（更精确的错误、导致这个问题的痕迹，或类似的东西）？或者我错过了一个细节，这个错误可能是由其他原因引起的？
正如mariusm所说，4.1版本（快照）有详细的错误转储，让你对错误有迹可循。
我的问题解决了，这个话题不再有用了。
当我尝试检查我的系统是否存在死锁时出现此错误：
The verification was aborted due to an error. Most likely, this is caused by an out-of-range assignment or out-of-range array lookup.
我明白这个错误是什么意思（感谢 https://www.it.uu.se/research/group/darts/uppaal/help.php?file=System_Descriptions/Expressions.shtml ），但我真的找不到任何可能发生这个问题的情况，也无法通过玩模拟器。 我能想到的唯一可能导致此问题的是我的数组之一，但从我所看到的情况来看，假设我从不越界似乎是安全的。
有没有办法找到任何线索来帮助我确定我的问题（更精确的错误、导致这个问题的痕迹，或类似的东西）？或者我错过了一个细节，这个错误可能是由其他原因引起的？
正如mariusm所说，4.1版本（快照）有详细的错误转储，让你对错误有迹可循。
我的问题解决了，这个话题不再有用了。