11-22-2023, 04:11 PM
Hello, I was using the model checker and it gave me a ton of errors that all seemed to be related to the same type of issue. They all say "More than one element uses the ID "insert name here" (node, node). I'm not really sure what this means or how to fix it. Does anyone know a solution? ![[Image: Model_Checker_Error.png]](https://media.discordapp.net/attachments/824113814991011861/1176992297972404387/Model_Checker_Error.png)