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

Verbose output #3

Closed lgwagner closed 11 years ago

lgwagner commented 11 years ago

Is there a verbose output option?

agacek commented 11 years ago

There is no verbose option at the moment. I could be talked into adding one. For now you can use the -scratch option and look at the scratch files that are produced. For example, you might just want to grep for "K =" in the scratch files to see which step each of the processes is on.