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

The excel formatter can prevent files from being read again if it is … #36

Closed backesj closed 7 years ago

backesj commented 7 years ago

…not closed properly. If the call to 'write' fails then the file may not close properly

agacek commented 7 years ago

Thanks. This is fixed in 4451718778cd0585e231a282d52092c8f5e5dba5.

lgwagner commented 7 years ago

Will this be added to SpeAR automatically in the next JKind release?

On Fri, Jan 27, 2017 at 4:12 PM, Andrew Gacek notifications@github.com wrote:

Thanks. This is fixed in 4451718 https://github.com/agacek/jkind/commit/4451718778cd0585e231a282d52092c8f5e5dba5 .

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/agacek/jkind/pull/36#issuecomment-275789372, or mute the thread https://github.com/notifications/unsubscribe-auth/ACkvrVl2tf1NErr-noAnFn7j_4kPfgYTks5rWmvdgaJpZM4LwQ4J .

agacek commented 7 years ago

I think so, as long as you grab the latest jkind-api.jar. Since releases are fairly rare, you might just want to build your own jkind-api.jar (or have me do it) before then. Or just bug me to make a minor bug fix release.