loonwerks / jkind

JKind - An infinite-state model checker for safety properties in Lustre
http://loonwerks.com/tools/jkind.html
Other
52 stars 32 forks source link

JKind breaks with condacts in Java 9+ #61

Closed lgwagner closed 3 years ago

lgwagner commented 3 years ago

JKind 4.4.1 (and earlier) has an issue translating condacts when using Java 9+.

This issue is related the concurrent modification exception when using the computeIfAbsent method of Java maps. The issue is described here.

https://stackoverflow.com/questions/54824656/since-java-9-hashmap-computeifabsent-throws-concurrentmodificationexception-on

lgwagner commented 3 years ago

Fixed in commit:

https://github.com/loonwerks/jkind/commit/4e40134ef97cb4006fb19c8efcc2497ee719aacb