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

added tuple expressions to allow multiple value node calls within a sub ... #19

Closed lgwagner closed 10 years ago

lgwagner commented 10 years ago

...expression

(fixes #18)