search

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 4.4.3 - 4.4.4 has issues with Z3 4.8.11 and 4.8.12 #69

Closed lgwagner closed 3 years ago

lgwagner commented 3 years ago

This is not something we can fix and due to an underlying bug in Z3. Here is the related issue:

https://github.com/Z3Prover/z3/issues/5599