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

updated LustreUtil to add additional support for expressions #42

Closed lgwagner closed 7 years ago

lgwagner commented 7 years ago

Pull these changes, please.

agacek commented 7 years ago

Thanks!