How can I generate result files in SMT2 format? - Githubissues

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

How can I generate result files in SMT2 format? #77

Open ZechenWei opened 2 months ago

ZechenWei commented 2 months ago

How can I generate result files in SMT2 format?