找不到导致“超出范围的分配或超出范围的数组查找的原因”的原因。错误

Question

尝试检查系统中的死锁时出现此错误：

  

验证由于错误而中止。这很可能是   由超出范围的分配或超出范围的数组查找引起。

我了解此错误的含义（由于https://www.it.uu.se/research/group/darts/uppaal/help.php?file=System_Descriptions/Expressions.shtml），但是我真的找不到任何可能发生此问题的情况，也无法通过使用模拟器来使它发生。 我能想到的唯一可能导致此问题的原因是我的阵列之一，但是从我所看到的来看，假设我从未做过任何事似乎是安全的。

是否可以找到任何线索来帮助我识别问题（更精确的错误，导致此问题的跟踪信息或类似信息）？也许我错过了一个细节，而这个错误可能是由其他原因引起的？

Answer 1

就像mariusm所说的那样，4.1版（快照）具有详细的错误转储，并让您跟踪导致错误的位置。

我的问题已解决，该主题不再有用。