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

Unknown value #49

Closed lgwagner closed 5 years ago

lgwagner commented 5 years ago

Adding an unknown value to the value set for performing ternary simulations. Useful for test generation so users can mark unknown initial states and propagate them. Allows generated tests to reflect the actual unknown values.