Florian Schmaus 32a38c4e77 [core] Check if the successor vertex exists in StateDescriptorGraph ... If the successor's module is disabled then the vertex may be null. In this case, we can simple continue with the next successor in the list. Previously, due to d33a5a23c3 ("[core] Introduce Builder.failOnUnknownStates() and unit tests") this would trigger an assert in addOutgoingEdge(). Fixes: d33a5a23c3 ("[core] Introduce Builder.failOnUnknownStates() and unit tests")		2021-08-22 16:30:30 +02:00
..
src	[core] Check if the successor vertex exists in StateDescriptorGraph	2021-08-22 16:30:30 +02:00
.gitignore	Prefix subprojects with 'smack-'	2014-04-28 19:44:14 +02:00
build.gradle	[gradle] Do not use deprecated 'compile' directive	2021-04-14 20:30:51 +02:00