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

Ordered generalization #34

Closed TheBeaNerd closed 7 years ago

TheBeaNerd commented 7 years ago

I have added a method that allows the user to specify the order in which generalization takes place.

agacek commented 7 years ago

Merged as 8d41eb5e1a48a199b0bb2280f53ca5c959f42ec0