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

Differentiate unknown results #9

Open agacek opened 11 years ago

agacek commented 11 years ago

It would be nice if JKind would differentiate between different kinds of unknown results: max iterations, timeout, or other failure.