JKind v3.0.2

JKind

• Changed multi-line comments from /* ... */ to (* ... *)
• Return error code when an engine crashes
• Check for inconsistency during base realizability checks
• Fix default SMT solver in --help
• Add -main option to specify main node
• Add -no_slicing flag to disable slicing
• Output warnings and errors on stderr instead of stdout

JKindApi

• Terminate JKind gracefully from JKindApi
• Add UI elements for inconsistent properties
• Various other API improvements requested by users
• Add JCoverage example using JKindApi and IVCs to determine coverage metrics