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

API update for JVM arguments #48

Closed lgwagner closed 5 years ago

lgwagner commented 5 years ago

I updated the API to allow embedded JKind calls to pass JVM args for stack size, heapsize, etc. It's just a string list interface that gets embedded into the JAR call.